bobbinth created 98 crates
-
miden-crypto‼️ 17K Founded in Dec 2022. Updated 3 days ago. -
midenc-hir-type‼️ 14K Founded in May 2024. Last updated 2 months ago. -
miden-crypto-derive
13K Sole owner since Oct 2025. Updated 3 days ago. -
miden-miette
14K Sole owner since Aug 2024. Last updated a year ago. -
miden-miette-derive‼️ 14K Sole owner since Aug 2024. Last updated a year ago. -
miden-formatting‼️ 14K Sole owner since Mar 2024. Last updated 2 years ago. -
cargo-miden‼️ Founded in May 2024. Updated a week ago. -
midenc
‼️ Founded in May 2024. Updated a week ago. -
midenc-driver‼️ Founded in May 2024. Updated a week ago. -
midenc-compile‼️ Founded in May 2024. Updated a week ago. -
midenc-frontend-wasm‼️ Founded in May 2024. Updated a week ago. -
midenc-hir-eval‼️ Founded in Apr 2025. Updated a week ago. -
midenc-expect-test‼️ Founded in Jul 2025. Updated a week ago. -
midenc-codegen-masm‼️ Founded in May 2024. Updated a week ago. -
midenc-dialect-scf‼️ Founded in Apr 2025. Updated a week ago. -
midenc-dialect-ub‼️ Founded in Apr 2025. Updated a week ago. -
midenc-dialect-hir‼️ Founded in Apr 2025. Updated a week ago. -
midenc-hir-transform
‼️ Founded in May 2024. Updated a week ago. -
midenc-hir-analysis‼️ Founded in May 2024. Updated a week ago. -
midenc-dialect-cf‼️ Founded in Apr 2025. Updated a week ago. -
midenc-dialect-arith‼️ Founded in Apr 2025. Updated a week ago. -
midenc-session‼️ Founded in May 2024. Updated a week ago. -
midenc-hir-symbol‼️ Founded in May 2024. Updated a week ago. -
midenc-hir-macros‼️ Founded in May 2024. Updated a week ago. -
miden
‼️ Founded in Nov 2021. Updated a week ago. -
miden-base‼️ Founded in May 2025. Updated a week ago. -
miden-base-sys‼️ Founded in Aug 2024. Updated a week ago. -
miden-stdlib-sys‼️ Founded in Jun 2024. Updated a week ago. -
miden-base-macros‼️ Founded in May 2025. Updated a week ago. -
miden-sdk-alloc‼️ Founded in Aug 2024. Updated a week ago. -
miden-vm‼️ Founded in Feb 2023. Updated 2 weeks ago. -
miden-verifier
‼️ 7.8K Founded in Nov 2021. Updated 2 weeks ago. -
miden-prover
‼️ 6.4K Founded in Aug 2022. Updated 2 weeks ago. -
miden-processor
‼️ 7.8K Founded in Nov 2021. Updated 2 weeks ago. -
miden-assembly
‼️ 7.9K Founded in Nov 2021. Updated 2 weeks ago. -
miden-mast-package‼️ 6.5K Founded in Mar 2025. Updated 2 weeks ago. -
miden-air‼️ 7.9K Founded in Nov 2021. Updated 2 weeks ago. -
miden-core
‼️ 8.0K Founded in Nov 2021. Updated 2 weeks ago. -
miden-faucet‼️ Founded in Apr 2024. Updated 3 weeks ago. -
miden-faucet-lib
‼️ Founded in Sep 2025. Updated 3 weeks ago. -
miden-client-web‼️ Founded in Aug 2024. Updated 4 weeks ago. -
miden-client-cli‼️ Founded in Jul 2025. Updated 4 weeks ago. -
miden-client-integration-tests‼️ Founded in Sep 2025. Updated 4 weeks ago. -
miden-client‼️ Founded in Mar 2024. Updated 4 weeks ago. -
miden-stdlib
‼️ 6.2K Founded in Aug 2022. Last updated 2 months ago. -
midenc-debug‼️ Founded in Aug 2024. Last updated 2 months ago. -
air-script‼️ Founded in Nov 2022. Last updated 6 months ago. -
air-codegen-winter‼️ Founded in Nov 2022. Last updated 6 months ago. -
air-ir
‼️ Founded in Nov 2022. Last updated 6 months ago. -
miden-sdk
‼️ Founded in Jun 2024. Last updated a year ago. -
miden-tx-kernel-sys‼️ Founded in Jun 2024. Last updated 2 years ago. -
miden-serde-utils
Sole owner since Dec 2025. Updated 3 days ago. -
p3-miden-prover
‼️ 1.3K Sole owner since Dec 2025. Updated a week ago. -
p3-miden-fri
Sole owner since Dec 2025. Updated a week ago. -
p3-miden-uni-stark
‼️ 1.3K Sole owner since Dec 2025. Updated a week ago. -
p3-miden-air
‼️ 1.3K Sole owner since Dec 2025. Updated a week ago. -
p3-miden-goldilocks
1.3K Sole owner since Dec 2025. Updated a week ago. -
miden-core-lib
Sole owner since Dec 2025. Updated 2 weeks ago. -
miden-assembly-syntax‼️ 6.5K Sole owner since Jul 2025. Updated 2 weeks ago. -
miden-utils-core-derive
Sole owner since Dec 2025. Updated 2 weeks ago. -
miden-debug-types‼️ 6.6K Sole owner since Jul 2025. Updated 2 weeks ago. -
miden-utils-indexing‼️ 6.1K Sole owner since Nov 2025. Updated 2 weeks ago. -
miden-utils-diagnostics‼️ 6.5K Sole owner since Jul 2025. Updated 2 weeks ago. -
miden-utils-sync‼️ 6.6K Sole owner since Jul 2025. Updated 2 weeks ago. -
miden-pow-rate-limiter
‼️ Sole owner since Nov 2025. Updated 3 weeks ago. -
miden-idxdb-store‼️ Sole owner since Nov 2025. Updated 4 weeks ago. -
miden-node
‼️ Sole owner since Mar 2024. Last updated a month ago. -
miden-node-block-producer
‼️ Sole owner since Mar 2024. Last updated a month ago. -
miden-node-rpc
‼️ Sole owner since Mar 2024. Last updated a month ago. -
miden-node-validator
‼️ Sole owner since Nov 2025. Last updated a month ago. -
miden-node-ntx-builder
‼️ Sole owner since May 2025. Last updated a month ago. -
miden-node-store‼️ Sole owner since Mar 2024. Last updated a month ago. -
miden-network-monitor
‼️ Sole owner since Nov 2025. Last updated a month ago. -
miden-remote-prover
‼️ Sole owner since Jul 2025. Last updated a month ago. -
miden-remote-prover-client
‼️ 2.3K Sole owner since Jul 2025. Last updated a month ago. -
miden-node-proto
‼️ 1.3K Sole owner since Mar 2024. Last updated a month ago. -
miden-node-utils‼️ 1.3K Sole owner since Mar 2024. Last updated a month ago. -
miden-node-grpc-error-macro
1.3K Sole owner since Nov 2025. Last updated a month ago. -
miden-node-proto-build‼️ 2.4K Sole owner since Mar 2025. Last updated a month ago. -
miden-testing‼️ 1.9K Sole owner since May 2025. Last updated a month ago. -
miden-tx-batch-prover‼️ 2.0K Sole owner since Mar 2025. Last updated a month ago. -
miden-block-prover‼️ 2.1K Sole owner since Mar 2025. Last updated a month ago. -
miden-cli
‼️ Sole owner since Jul 2024. Last updated 6 months ago. -
miden-gpu‼️ Sole owner since Apr 2024. Last updated 6 months ago. -
air-mir‼️ Sole owner since Jun 2025. Last updated 6 months ago. -
air-derive-ir‼️ Sole owner since Jun 2025. Last updated 6 months ago. -
air-pass‼️ Sole owner since Jul 2023. Last updated 6 months ago. -
miden-proving-service
‼️ Sole owner since Jan 2025. Last updated 6 months ago. -
miden-proving-service-client
‼️ Sole owner since Jan 2025. Last updated 6 months ago. -
miden-rpc-proto
Sole owner since Jul 2024. Last updated 11 months ago. -
miden-tx-prover‼️ Sole owner since Nov 2024. Last updated a year ago. -
miden-thiserror-impl‼️ Sole owner since Aug 2024. Last updated a year ago. -
air-codegen-masm‼️ Sole owner since Jul 2023. Last updated 2 years ago. -
miden-parsing‼️ Sole owner since Jul 2023. Last updated 2 years ago. -
miden-diagnostics
‼️ Sole owner since Jul 2023. Last updated 2 years ago. -
miden-diagnostics-macros
‼️ Sole owner since Jul 2023. Last updated 2 years ago. -
midenc-hirFounded in May 2024. Updated a week ago. -
miden-thiserrorSole owner since Aug 2024. Last updated a year ago.