baracuda-nvrtc cargo 0.0.1-alpha.86 clean Safe Rust wrappers for NVIDIA NVRTC (compile CUDA C++ to PTX at runtime). 3.0K 1d ago css-parser cargo 0.2.0 clean CSS parser and compiler written in Rust. Can be used as standalone library or cli tool 2.9K 1h ago synth-verify cargo 0.81.0 clean SMT translation validation for the Synth compiler (ordeal QF_BV engine; optional Z3 differential oracle) 2.7K 11h ago spec-spine-cli cargo 0.29.0 clean The `spec-spine` command-line tool: compile a markdown spec corpus into a deterministic authority registry and query it. A thin wrapper over spec-spine-core. 2.6K 2d ago hamelin_wasm cargo 0.23.0 clean 0.23.4 did not build Hamelin implementation compiled to WASM 2.6K 2d ago synth-backend-awsm cargo 0.81.0 clean aWsm backend integration for the Synth compiler 2.6K 9h ago synth-backend-wasker cargo 0.81.0 clean Wasker backend integration for the Synth compiler 2.6K 9h ago rucc-driver cargo 0.24.8 clean Command line, phase graph and job scheduling for the rucc C compiler. 2.5K 1d ago fixed-bitset cargo 0.0.1 clean A bitset whose size is fixed at compile-time 2.5K 14m ago synth-cli cargo 0.81.0 clean CLI for Synth, the WebAssembly-to-ARM Cortex-M AOT compiler 2.4K 8h ago assura-ast cargo 0.6.0 clean Assura AST types (Spanned, Expr, Decl, etc.) - the compiler IR 2.3K 2d ago assura-diagnostics cargo 0.6.0 clean Unified diagnostic types for the Assura compiler 2.3K 2d ago bynk-syntax cargo 0.309.4 clean The syntax foundation of the Bynk compiler: lexer, parser, AST, spans, the CompileError type, and the diagnostic-code registry. 2.3K 16h ago assura-config cargo 0.6.0 clean Project configuration and output mode types for the Assura compiler 2.1K 2d ago opy-rs cargo 0.3.1 clean Standalone OverPy-compatible .opy implementation with parsing, tooling, and bounded Workshop compilation. 2.1K 20h ago libdrmtap-sys cargo not built 0.5.12 did not build Raw FFI bindings for libdrmtap — DRM/KMS screen capture library for Linux. Includes embedded C sources compiled statically. 2.0K 22h ago ct-utils cargo not built 0.0.1 did not build CT-utils contains types and behaviours which resolve at compile time. 2.0K 1h ago rucc cargo 0.24.8 4 detections 4 An optimizing C compiler written in Rust, targeting real projects from SQLite to the Linux kernel. 2.0K 1d ago midenc-expect-test cargo 0.11.0 clean Snapshot testing for Miden compiler 1.9K 2d ago bynk-check cargo 0.309.4 clean The semantic-analysis layer of the Bynk compiler: name resolution, type checking, the kernel and builtin registries, first-party sources, and the analysis… 1.8K 16h ago assura-pipeline cargo 0.6.0 1 detection 1 Shared compiler pipeline for the Assura language 1.8K 2d ago bynk-emit cargo 0.309.4 clean Build orchestration and TypeScript emission for the Bynk compiler. 1.7K 16h ago cubecl-server cargo 0.11.0 clean Toolkit for implementing a CubeCL runtime: memory pools, streams, drivers and the compilation pipeline. 1.6K 1d ago ppoppo-schema-constrained cargo 0.51.0 clean Enum ↔ SQL CHECK anchor: compile-time exhaustiveness guard + DB-drift binding, shared by PAS (scaccounts) and PCS (scchat) 1.6K 19h ago type-bridge-core-lib cargo 2.2.3 clean TypeQL AST, schema parser, query compiler, and validation engine for type-bridge 1.6K 22h ago yurtc cargo 0.1.1 2 vulnerabilities 2 Compiler for the Yurt language 1.5K 1d ago tishlang_wasm cargo 4.0.0 clean WebAssembly backend for Tish - compiles to real .wasm 1.5K 8h ago tishlang_native cargo 4.0.0 clean Native code generation backend for Tish (Cranelift / direct compile) 1.4K 8h ago cobre-comm cargo 0.18.0 clean Pluggable communication backend abstraction for the Cobre ecosystem (MPI, TCP, shared-memory, local) 1.4K 1d ago opy-cli cargo 0.3.1 clean Standalone OPY CLI: check, compile, inspect, and version. 1.4K 7h ago 