2 个仓库
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.
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.
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.