argumentcomputer/ix

a zero-knowledge proof-carrying code platform for Lean 4

40 Dependabot PRs 69 2 Lean
Last synced: 3 months ago

argumentcomputer/multi-stark

Implementation of a multicircuit STARK in P3

15 Dependabot PRs 5 1 Rust
Last synced: 1 day ago

argumentcomputer/cronos

4 Dependabot PRs

argumentcomputer/Blake3.lean

Lean4 bindings to Blake3

2 Dependabot PRs 6 1 Lean
Last synced: 30 days ago

argumentcomputer/template-rust-lib

Base template for a Rust library crate with CI, config files, and branch protection

1 Dependabot PR 0 0 Rust
Last synced: 4 months ago

argumentcomputer/lean-ffi

Rust library for Lean4 FFI

1 Dependabot PR 1 0 Rust
Last synced: about 2 months ago

argumentcomputer/LSpec

A Testing Framework for Lean

1 Dependabot PR 77 16 Lean
Last synced: 13 days ago