| uu_newgidmap | 0.6.0 | none | none | newgidmap ~ (shadow-rs) set the group ID mapping of a user namespace | 17 | 1d ago |
| neco-cad-view | 0.3.0 | none | none | Versioned CAD view model and CPU reference projection | 12 | 1d ago |
| blue-lang-kiwari | 0.0.69 | none | none | kiwari, blue's one grammar spec: the spec-driven lowering of a concrete syntax tree to blue's tatara-lisp tree, and the differential that holds the emitted… | 19 | 1d ago |
| miden-core-lib-codegen | 0.36.0 | none | none | Build-time MASM code generation support for miden-core-lib | 43K | 1d ago |
| peon-burrow | 0.1.1 | none | none | WebSocket to TCP/TLS relay with a service installer and self update, plus the burrow CLI | 36 | 1d ago |
| miden-vm | 0.36.0 | none | none | Miden virtual machine | 32K | 2d ago |
| uu_vigr | 0.6.0 | none | none | vigr ~ (shadow-rs) edit the group file under a lock | 17 | 2d ago |
| miden-core-lib | 0.36.0 | none | none | Miden VM core library | 173K | 2d ago |
| miden-prover | 0.36.0 | none | none | Miden VM prover | 447K | 2d ago |
| miden-verifier | 0.36.0 | none | none | Miden VM execution verifier | 477K | 2d ago |
| miden-processor | 0.36.0 | none | none | Miden VM processor | 494K | 2d ago |
| miden-precompiles-verifier | 0.36.0 | none | none | Verifier for Miden VM precompile proofs | 15K | 2d ago |
| miden-precompiles-air | 0.36.0 | none | none | AIR and shared proof setup for Miden VM precompiles | 15K | 2d ago |
| neco-tessellation | 0.3.0 | none | none | Analytic B-Rep tessellation | 15 | 2d ago |
| miden-precompiles-prover | 0.36.0 | none | none | Prover-side precompile implementations for the Miden VM deferred framework | 41K | 2d ago |
| miden-constraint-compiler | 0.36.0 | none | none | Constraint compiler for Plonky3-based Miden AIRs. | 43K | 2d ago |
| miden-assembly-syntax-cst | 0.36.0 | none | none | Lossless concrete syntax tree support for the Miden Assembly language | 58K | 2d ago |
| miden-ace-codegen | 0.36.0 | none | none | ACE circuit codegen for Plonky3-based Miden AIRs. | 84K | 2d ago |
| miden-precompiles | 0.36.0 | none | none | Concrete precompile implementations for the Miden VM deferred framework | 43K | 2d ago |
| miden-utils-diagnostics | 0.36.0 | none | none | Diagnostic infrastructure used in the Miden assembler and VM | 256K | 2d ago |
| miden-project | 0.36.0 | none | none | Interface for working with Miden projects | 117K | 2d ago |
| miden-package-registry | 0.36.0 | none | none | Package registry interfaces and dependency resolution for Miden packages | 117K | 2d ago |
| neco-cad-import | 0.3.0 | none | none | Certified region import from mesh and analytic shells | 14 | 2d ago |
| miden-debug-types | 0.36.0 | none | none | Core source-level debugging information types used throughout the Miden toolchain | 258K | 2d ago |
| miden-assembly-syntax | 0.36.0 | none | none | Parsing and semantic analysis of the Miden Assembly language | 255K | 2d ago |
| miden-air | 0.36.0 | none | none | Algebraic intermediate representation of Miden VM processor | 494K | 2d ago |
| miden-mast-package | 0.36.0 | none | none | Package containing a compiled Miden MAST artifact with declared dependencies and exports | 266K | 2d ago |
| miden-assembly | 0.36.0 | none | none | Miden VM assembly language | 497K | 2d ago |
| miden-core | 0.36.0 | none | none | Miden VM core components | 543K | 2d ago |
| rtmp-runtime | 0.7.2 | none | none | Sans-IO RTMP 1.0 (Adobe Real-Time Messaging Protocol) ingest session engine — a driveable server-side publish state machine over the handshake, chunk stream,… | 458 | 2d ago |
