midenc-frontend-wasm cargo not built 0.11.0 did not build Wasm frontend for the Miden compiler 14K 1d ago midenc-compile cargo not built 0.11.0 did not build The compiler frontend for Miden 14K 1d ago cargo-miden cargo not built 0.11.0 did not build A cargo extension to build Miden projects 12K 1d ago miden-sdk-alloc cargo not built 0.15.0 did not build A simple bump allocator for Miden SDK programs 12K 1d ago midenc-dialect-arith cargo not built 0.11.0 did not build Miden IR Arithmetic Dialect 11K 1d ago midenc-dialect-cf cargo not built 0.11.0 did not build Miden IR Control Flow Dialect 11K 1d ago midenc-driver cargo not built 0.11.0 did not build The driver for midenc, the Miden compiler 11K 1d ago midenc-dialect-ub cargo not built 0.11.0 did not build Miden IR Undefined Behavior Dialect 11K 1d ago midenc-dialect-hir cargo not built 0.11.0 did not build High-level Intermediate Representation Dialect 10K 1d ago midenc cargo not built 0.11.0 did not build The compiler frontend/executable for Miden 10K 1d ago midenc-dialect-scf cargo not built 0.11.0 did not build Miden IR Structured Control Flow Dialect 10K 1d ago rucc-base cargo 0.24.8 clean Arenas, interning, index newtypes and shared data structures for the rucc C compiler. 7.9K 1d ago partiql-common cargo 0.15.0 clean PartiQL Core 7.6K 53m ago rucc-target cargo 0.24.8 clean Target descriptions, register files and ABI data for the rucc C compiler. 7.6K 1d ago miden-base-macros cargo 0.15.0 clean Provides proc macro support for Miden rollup SDK 7.1K 1d ago miden-base cargo not built 0.15.0 did not build Miden rollup Rust SDK 7.0K 1d ago rucc-diag cargo 0.24.8 clean Diagnostics, spans and source maps for the rucc C compiler. 6.8K 1d ago cubecl-llvm cargo not built 0.11.0 did not build LLVM compiler for CubeCL 6.4K 23h ago synth-core cargo 0.81.0 clean Core types, error handling, and backend trait for the Synth compiler 6.0K 10h ago rucc-session cargo 0.24.8 clean The per-compilation session, options and diagnostic sink for the rucc C compiler. 5.5K 1d ago rucc-tuple cargo 0.24.8 clean The ten field target tuple, the target table and the tier model for the rucc C compiler. 5.5K 1d ago rucc-types cargo 0.24.8 clean The C type system, interned, and layout computation. 5.2K 1d ago rucc-abi cargo 0.24.8 clean The psABIs for rucc, as descriptions read by one classifier rather than as one function per ABI. 5.2K 1d ago synth-cfg cargo 0.81.0 clean Control flow graph representation for the Synth compiler 5.1K 9h ago rucc-lex cargo 0.24.8 clean Translation phases 1 to 3, pp-tokens, the fast scanner, the keywords and the constants. 4.8K 1d ago synth-opt cargo 0.81.0 clean Peephole optimization passes for the Synth compiler 4.8K 8h ago synth-synthesis cargo 0.81.0 clean WASM-to-ARM instruction selection and peephole optimizer 4.5K 9h ago rucc-ir cargo 0.24.8 clean The SSA IR with block parameters, and its printer, parser and verifier. 4.2K 1d ago baracuda-forge cargo 0.0.1-alpha.86 clean Build-time CUDA kernel compiler for the baracuda ecosystem: nvcc-driven incremental builds, parallel compilation, GPU auto-detection, and CUTLASS / custom git… 4.2K 20h ago rucc-ast cargo 0.24.8 clean The arena-allocated AST and its printer. 4.1K 1d ago 