awesome-repositories.com
博客
MCP
awesome-repositories.com

通过 AI 驱动的搜索,发现最优秀的开源仓库。

探索精选搜索开源替代品自托管软件博客网站地图
项目MCP 服务器关于排名机制媒体报道
法律隐私政策服务条款
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
·

2 个仓库

Awesome GitHub RepositoriesBinding Inspection

Exposing native library bindings to the macro system for programmatic analysis.

Distinct from Native Interoperability Bindings: Distinct from general bindings: focuses on the introspection of bindings for code generation.

Explore 2 awesome GitHub repositories matching operating systems & systems programming · Binding Inspection. Refine with filters or upvote what's useful.

Awesome Binding Inspection GitHub Repositories

用 AI 发现最棒的仓库。我们将通过 AI 为您搜索最匹配的仓库。
  • crystal-lang/crystalcrystal-lang 的头像

    crystal-lang/crystal

    20,299在 GitHub 上查看↗

    Crystal is a statically typed, compiled programming language designed for high performance and memory safety. It leverages an LLVM-based compiler to translate source code into optimized machine-executable binaries, while its type-inference-based static analysis enforces strict safety rules during the build process. The language distinguishes itself through a fiber-based concurrent runtime that manages lightweight execution units for asynchronous input and output without blocking the main process. It also features a powerful compile-time macro system that allows for the inspection and transfor

    Exposes declared library functions to the macro system, allowing for programmatic analysis and generation of code.

    Crystalcompilercrystalcrystal-language
    在 GitHub 上查看↗20,299
  • carp-lang/carpcarp-lang 的头像

    carp-lang/Carp

    5,815在 GitHub 上查看↗

    Carp is a statically typed Lisp compiler that compiles Lisp-like syntax directly to C source code, enabling seamless integration with existing C libraries and low-level system programming. It manages memory deterministically at compile time using ownership tracking and linear types, eliminating garbage collection pauses and runtime overhead while ensuring type safety through an inferred static type system. The language distinguishes itself through compile-time macro expansion and metaprogramming capabilities, allowing code generation and transformation before final binary output. It enforces

    Queries arguments, arity, and type of named bindings in the environment.

    Haskellfunctionalfunctional-programminggame-development
    在 GitHub 上查看↗5,815
  1. Home
  2. Operating Systems & Systems Programming
  3. Kernel and Core Internals
  4. System Programming Primitives
  5. System Abstractions
  6. Native Interoperability Bindings
  7. Binding Inspection

探索子标签

  • Binding Documentation PrintersOutputting stored documentation or type signatures for named bindings to the console. **Distinct from Binding Inspection:** Distinct from Binding Inspection: focuses on printing documentation, not programmatic analysis of bindings.
  • Binding Kind ChecksTesting whether a named binding is a function, macro, struct, interface, or other specific kind. **Distinct from Binding Inspection:** Distinct from Binding Inspection: focuses on classifying the kind of a binding, not inspecting its structure or arguments.