Skip to content

@argumentcomputer Argument

Change the repository type filter

All

    Repositories list

    101 repositories

    • ix

      Public
      a zero-knowledge proof-carrying code platform for Lean 4
      Rust
      •
      Apache License 2.0
      •3•84•13•15•Updated Jul 28, 2026Jul 28, 2026

    • multi-stark

      Public
      Implementation of a multicircuit STARK in P3
      Rust
      •
      Apache License 2.0
      •1•5•1•6•Updated Jul 28, 2026Jul 28, 2026

    • LSpec

      Public
      A Testing Framework for Lean
      Lean
      •
      MIT License
      •18•83•1•0•Updated Jul 27, 2026Jul 27, 2026

    • lean4-nix

      Public
      Nix overlay for Lean 4, and lake2nix
      Nix
      •
      Apache License 2.0
      •17•2•0•0•Updated Jul 24, 2026Jul 24, 2026

    • lean-ffi

      Public
      Rust library for Lean4 FFI
      Rust
      •
      Apache License 2.0
      •0•4•0•2•Updated Jul 22, 2026Jul 22, 2026

    • Blake3.lean

      Public
      Lean4 bindings to Blake3
      leanblake3lean4
      leanblake3lean4
      Lean
      •
      MIT License
      •1•7•0•1•Updated Jul 17, 2026Jul 17, 2026

    • zisk.nix

      Public
      Nix dev shell for https://github.com/0xPolygonHermez/zisk/
      Nix
      •0•0•0•1•Updated Jul 17, 2026Jul 17, 2026

    • sp1

      Public
      A performant, 100% open-source, contributor-friendly zkVM.
      Rust
      •
      Apache License 2.0
      •678•0•0•0•Updated Jul 16, 2026Jul 16, 2026

    • lean-update

      Public
      GitHub Action which automatically updates Lean projects
      Lean
      •
      MIT License
      •6•0•0•0•Updated Jul 16, 2026Jul 16, 2026

    • tracing-texray

      Public
      Tracing layer to quickly inspect spans and events
      Rust
      •
      MIT License
      •3•0•0•0•Updated Jul 9, 2026Jul 9, 2026

    • zisk

      Public
      Rust
      •
      Apache License 2.0
      •67•0•0•0•Updated Jul 2, 2026Jul 2, 2026

    • BLAKE3

      Public
      the official Rust and C implementations of the BLAKE3 cryptographic hash function
      Assembly
      •
      Apache License 2.0
      •467•0•0•0•Updated Jun 25, 2026Jun 25, 2026

    • sp1.nix

      Public
      Nix dev shell for https://github.com/succinctlabs/sp1
      Rust
      •1•0•0•1•Updated Jun 24, 2026Jun 24, 2026

    • templates

      Public
      Template libraries for Lean & Rust
      Nix
      •0•0•0•1•Updated Jun 19, 2026Jun 19, 2026

    • pil2-proofman

      Public
      Prover Manager
      C++
      •
      Apache License 2.0
      •24•0•0•0•Updated May 5, 2026May 5, 2026

    • Plonky3

      Public
      A toolkit for polynomial IOPs (PIOPs)
      Rust
      •
      Apache License 2.0
      •448•3•0•0•Updated May 4, 2026May 4, 2026

    • cronos

      Public
      A lightweight Rust crate for ergonomic performance profiling and timeline visualization.
      Rust
      •
      Apache License 2.0
      •0•0•0•2•Updated May 2, 2026May 2, 2026

    • risc0.nix

      Public
      [WIP] An attempt at Nix-ifying the risc0 ecosystem for a more declarative, reproducible setup.
      Nix
      •2•0•0•0•Updated Mar 25, 2026Mar 25, 2026

    • EVMYulLean

      Public
      Executable formal model of the EVM and Yul in Lean 4.
      Lean
      •
      Apache License 2.0
      •24•0•0•0•Updated Mar 24, 2026Mar 24, 2026

    • lean-action

      Public
      GitHub action for standard CI in Lean projects
      Shell
      •
      Apache License 2.0
      •19•0•0•0•Updated Mar 10, 2026Mar 10, 2026

    • lean4-nix-mwe-108

      Public
      MWE for https://github.com/lenianiva/lean4-nix/pull/108
      Nix
      •
      Apache License 2.0
      •0•0•0•0•Updated Jan 8, 2026Jan 8, 2026

    • lean4-nix-dep-108

      Public
      Dependency used in MWE for https://github.com/lenianiva/lean4-nix/pull/108
      Nix
      •
      Apache License 2.0
      •0•0•0•0•Updated 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
      •0•0•1•1•Updated Nov 24, 2025Nov 24, 2025

    • ci-lab

      Public
      Testing grounds for CI and GH Actions workflows
      Nix
      •
      MIT License
      •1•0•0•1•Updated Nov 14, 2025Nov 14, 2025

    • github-actions-runner-cuda

      Public
      Self-hosted GitHub Actions runners with a CUDA base image
      Shell
      •
      GNU General Public License v3.0
      •472•1•0•1•Updated Oct 31, 2025Oct 31, 2025

    • lean4-nix-manifests

      Public
      Nix
      •0•1•0•0•Updated 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
      •66•0•0•0•Updated Jun 23, 2025Jun 23, 2025

    • sphinx

      Public
      An observatory fork of SP1
      Rust
      •
      Apache License 2.0
      •8•78•22•7•Updated Feb 11, 2025Feb 11, 2025

    • ci-workflows

      Public
      GitHub Actions workflows and templates for use in Argument repos
      Rust
      •
      MIT License
      •3•0•11•6•Updated Dec 23, 2024Dec 23, 2024

    • zk-light-clients

      Public
      A collection of ZK light client libraries for various blockchains
      Rust
      •12•69•20•4•Updated Dec 4, 2024Dec 4, 2024
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.