| 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 |
| miden-remote-prover cargo | 0.17.2 | clean | Miden remote prover | 14K | 15h ago |
| miden-sdk-alloc cargo | | not built 0.15.0 did not build | A simple bump allocator for Miden SDK programs | 12K | 1d ago |
| miden-client-web cargo | | not built 0.17.1 did not build | Web Client library that facilitates interaction with the Miden network | 11K | 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 |
| miden-client-cli cargo | 0.17.1 | clean | The official command line client for interacting with the Miden network | 8.5K | 2d ago |
| miden-protobuf-derive cargo | 0.17.1 | clean | Protobuf conversion derives for Miden | 8.4K | 1d ago |
| miden-protobuf cargo | 0.17.1 | clean | Protobuf conversion support for Miden | 8.4K | 1d ago |
| miden-node-db cargo | 0.17.2 | clean | Shared database capabilities for Miden node | 8.0K | 16h 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 |
| miden-faucet-lib cargo | 0.17.1 | clean | Miden faucet's logic | 4.0K | 7h ago |
| miden-client-integration-tests cargo | 0.17.1 | 1 vulnerability 1 | Integration Tests for the miden client library | 3.4K | 2d ago |
| midenc-hir-eval cargo | | not built 0.11.0 did not build | An interpreter for Miden IR | 3.1K | 1d ago |
| midenc-log cargo | 0.11.0 | clean | Provides flexible trace logging for midenc | 2.6K | 1d ago |
| miden-field-repr-derive cargo | 0.15.0 | clean | Derive macros for felt representation serialization/deserialization | 2.1K | 1d 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 | 1d ago |
| midenc-dialect-wasm cargo | | not built 0.11.0 did not build | Miden IR Wasm Dialect | 2.0K | 1d ago |
| miden-field-repr cargo | | not built 0.15.0 did not build | Serialization/deserialization for felt representation | 2.0K | 1d ago |
| midenc-expect-test cargo | 0.11.0 | clean | Snapshot testing for Miden compiler | 1.9K | 1d ago |
| miden-node-tracing-macro cargo | 0.17.2 | clean | Procedural macros for Miden node tracing | 1.7K | 15h ago |
| miden-pow-rate-limiter cargo | 0.17.1 | clean | Miden Proof-of-Work rate limiter | 1.5K | 7h ago |
| miden-idxdb-store cargo | | not built 0.17.1 did not build | IndexedDB-backed Store implementation for miden-client (WASM) | 1.4K | 1d ago |
