synth-cli cargo 0.81.0 clean CLI for Synth, the WebAssembly-to-ARM Cortex-M AOT compiler 2.4K 9h ago greentic-sorla cargo not built 1.2.0-dev.37710159493 did not build Wizard-first CLI for Greentic SoRLa. 2.4K 5h 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 17h ago assura-parser cargo 0.6.0 clean Lexer, parser, and AST for the Assura contract language 2.3K 2d ago assura-config cargo 0.6.0 clean Project configuration and output mode types for the Assura compiler 2.1K 2d ago assura-stdlib cargo 0.6.0 clean Assura standard library contracts and prelude types 2.1K 2d ago miden-field-repr-derive cargo 0.15.0 clean Derive macros for felt representation serialization/deserialization 2.1K 2d ago assura-resolve cargo 0.6.0 clean Name resolution and symbol table for the Assura contract language 2.1K 2d ago rucc-debug cargo 0.24.8 clean DWARF 5 generation. 2.1K 2d ago midenc-frontend-wasm-metadata cargo not built 0.15.0 did not build Shared frontend metadata codec for the Miden Wasm frontend 2.1K 2d 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 23h ago rucc-safety cargo 0.24.8 clean The memory safety monitor: check insertion over the IR. 2.0K 2d ago assura-types cargo 0.6.0 clean Type checking for the Assura contract language 2.0K 2d 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 3h ago midenc-dialect-wasm cargo not built 0.11.0 did not build Miden IR Wasm Dialect 2.0K 2d 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 2d ago miden-field-repr cargo not built 0.15.0 did not build Serialization/deserialization for felt representation 2.0K 2d ago rucc-builtins cargo 0.24.8 clean The libgcc-ABI-compatible runtime support library emitted code may call. 1.9K 2d ago rucc-lto cargo 0.24.8 clean Module merging, summaries and Thin LTO. 1.9K 2d ago assura-smt cargo 0.6.0 1 detection 1 SMT-based verification for Assura contracts via Z3 1.9K 2d ago assura-codegen cargo 0.6.0 clean Rust code generation from type-checked Assura contracts 1.9K 2d 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 17h ago greentic-sorla-dev cargo 1.2.37693317240 10 vulnerabilities 1.2.37710159493 did not build 10 Wizard-first CLI for Greentic SoRLa. 1.8K 6h ago rucc-verify cargo 0.24.8 clean SMT verification of the rucc rewrite and lowering rule set. 1.8K 2d ago assura-pipeline cargo 0.6.0 1 detection 1 Shared compiler pipeline for the Assura language 1.8K 2d ago rucc-sysroot cargo 0.24.8 clean Sysroot layout, header search paths and link lines for rucc, computed from the target and never from the host. 1.8K 2d ago assura-fmt cargo 0.6.0 clean Source code formatter for the Assura contract language 1.7K 2d ago 