Skip to content
Change the repository type filter

All

    Repositories list

    • ix

      Public
      a zero-knowledge proof-carrying code platform for Lean 4
      Lean
      Apache License 2.0
      370116Updated Apr 24, 2026Apr 24, 2026
    • zisk.nix

      Public
      (WIP) Nix dev shell for https://github.com/0xPolygonHermez/zisk/
      Rust
      0000Updated Apr 24, 2026Apr 24, 2026
    • lean-ffi

      Public
      Rust library for Lean4 FFI
      Rust
      Apache License 2.0
      0101Updated Apr 22, 2026Apr 22, 2026
    • lean4-nix

      Public
      Nix overlay for Lean 4, and lake2nix
      Nix
      Apache License 2.0
      16200Updated Apr 21, 2026Apr 21, 2026
    • Implementation of a multicircuit STARK in P3
      Rust
      Apache License 2.0
      1412Updated Apr 20, 2026Apr 20, 2026
    • cronos

      Public
      A lightweight Rust crate for ergonomic performance profiling and timeline visualization.
      Rust
      Apache License 2.0
      0002Updated Apr 20, 2026Apr 20, 2026
    • Lean4 bindings to Blake3
      Lean
      MIT License
      1600Updated Apr 16, 2026Apr 16, 2026
    • zisk

      Public
      Rust
      Apache License 2.0
      51000Updated Apr 16, 2026Apr 16, 2026
    • LSpec

      Public
      A Testing Framework for Lean
      Lean
      MIT License
      177610Updated Apr 15, 2026Apr 15, 2026
    • sp1.nix

      Public
      Nix dev shell for https://github.com/succinctlabs/sp1
      Rust
      1000Updated Apr 3, 2026Apr 3, 2026
    • risc0.nix

      Public
      [WIP] An attempt at Nix-ifying the risc0 ecosystem for a more declarative, reproducible setup.
      Nix
      2000Updated Mar 25, 2026Mar 25, 2026
    • Executable formal model of the EVM and Yul in Lean 4.
      Lean
      Apache License 2.0
      10000Updated Mar 24, 2026Mar 24, 2026
    • GitHub action for standard CI in Lean projects
      Shell
      Apache License 2.0
      17000Updated Mar 10, 2026Mar 10, 2026
    • templates

      Public
      Template libraries for Lean & Rust
      Nix
      0000Updated Jan 9, 2026Jan 9, 2026
    • MWE for https://github.com/lenianiva/lean4-nix/pull/108
      Nix
      Apache License 2.0
      0000Updated Jan 8, 2026Jan 8, 2026
    • Dependency used in MWE for https://github.com/lenianiva/lean4-nix/pull/108
      Nix
      Apache License 2.0
      0000Updated Jan 8, 2026Jan 8, 2026
    • template-rust-lib

      Public template
      Base template for a Rust library crate with CI, config files, and branch protection
      Rust
      Apache License 2.0
      0011Updated Nov 24, 2025Nov 24, 2025
    • ci-lab

      Public
      Testing grounds for CI and GH Actions workflows
      Nix
      MIT License
      1001Updated Nov 14, 2025Nov 14, 2025
    • Self-hosted GitHub Actions runners with a CUDA base image
      Shell
      GNU General Public License v3.0
      462101Updated Oct 31, 2025Oct 31, 2025
    • Nix
      0100Updated Jun 27, 2025Jun 27, 2025
    • binius

      Public
      A SNARK protocol over towers of binary fields, implemented in Rust (mirror of https://gitlab.com/IrreducibleOSS/binius)
      Rust
      Apache License 2.0
      66000Updated Jun 23, 2025Jun 23, 2025
    • Plonky3

      Public
      A toolkit for polynomial IOPs (PIOPs)
      Rust
      Apache License 2.0
      420300Updated Mar 27, 2025Mar 27, 2025
    • sphinx

      Public
      An observatory fork of SP1
      Rust
      Apache License 2.0
      877207Updated Feb 11, 2025Feb 11, 2025
    • GitHub Actions workflows and templates for use in Argument repos
      Rust
      MIT License
      30116Updated Dec 23, 2024Dec 23, 2024
    • A collection of ZK light client libraries for various blockchains
      Rust
      1268204Updated Dec 4, 2024Dec 4, 2024
    • yatima

      Public
      A zero-knowledge Lean4 compiler and kernel
      Lean
      MIT License
      12146114Updated Nov 7, 2024Nov 7, 2024
    • Lurk.lean

      Public
      A Lean 4 implementation of the Lurk Language for recursive zkSNARKS
      Lean
      MIT License
      2920Updated Nov 7, 2024Nov 7, 2024
    • A Lean 4 implementation of the Poseidon zkSNARK-friendly hash function
      Lean
      MIT License
      1800Updated Nov 7, 2024Nov 7, 2024
    • lurk-hs

      Public
      Haskell Wrappers for Lurk
      Haskell
      MIT License
      2220Updated Oct 29, 2024Oct 29, 2024
    • Solidity contracts for Sphinx (contact: @storojs72)
      Solidity
      0000Updated Oct 29, 2024Oct 29, 2024
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.