Skip to content

@argumentcomputer Argument

Change the repository type filter

All

    Repositories list

    98 repositories

    • ix

      Public
      a zero-knowledge proof-carrying code platform for Lean 4
      Lean
      •
      Apache License 2.0
      •3•72•11•6•Updated May 4, 2026May 4, 2026

    • tracing-texray

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

    • zisk

      Public
      Rust
      •
      Apache License 2.0
      •52•0•0•0•Updated May 2, 2026May 2, 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

    • lean-ffi

      Public
      Rust library for Lean4 FFI
      Rust
      •
      Apache License 2.0
      •0•1•0•0•Updated May 1, 2026May 1, 2026

    • multi-stark

      Public
      Implementation of a multicircuit STARK in P3
      Rust
      •
      Apache License 2.0
      •1•5•1•2•Updated May 1, 2026May 1, 2026

    • lean4-nix

      Public
      Nix overlay for Lean 4, and lake2nix
      Nix
      •
      Apache License 2.0
      •16•2•0•0•Updated Apr 29, 2026Apr 29, 2026

    • zisk.nix

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

    • Blake3.lean

      Public
      Lean4 bindings to Blake3
      leanblake3lean4
      leanblake3lean4
      Lean
      •
      MIT License
      •1•6•0•0•Updated Apr 16, 2026Apr 16, 2026

    • LSpec

      Public
      A Testing Framework for Lean
      Lean
      •
      MIT License
      •16•76•1•0•Updated Apr 15, 2026Apr 15, 2026

    • sp1.nix

      Public
      Nix dev shell for https://github.com/succinctlabs/sp1
      Rust
      •1•0•0•0•Updated Apr 3, 2026Apr 3, 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
      •11•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
      •17•0•0•0•Updated Mar 10, 2026Mar 10, 2026

    • templates

      Public
      Template libraries for Lean & Rust
      Nix
      •0•0•0•0•Updated Jan 9, 2026Jan 9, 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
      •462•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

    • Plonky3

      Public
      A toolkit for polynomial IOPs (PIOPs)
      Rust
      •
      Apache License 2.0
      •425•3•0•0•Updated Mar 27, 2025Mar 27, 2025

    • sphinx

      Public
      An observatory fork of SP1
      Rust
      •
      Apache License 2.0
      •8•77•20•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•68•20•4•Updated Dec 4, 2024Dec 4, 2024

    • yatima

      Public
      A zero-knowledge Lean4 compiler and kernel
      Lean
      •
      MIT License
      •12•146•11•4•Updated Nov 7, 2024Nov 7, 2024

    • Lurk.lean

      Public
      A Lean 4 implementation of the Lurk Language for recursive zkSNARKS
      Lean
      •
      MIT License
      •2•9•2•0•Updated Nov 7, 2024Nov 7, 2024

    • Poseidon.lean

      Public
      A Lean 4 implementation of the Poseidon zkSNARK-friendly hash function
      Lean
      •
      MIT License
      •1•8•0•0•Updated Nov 7, 2024Nov 7, 2024

    • lurk-hs

      Public
      Haskell Wrappers for Lurk
      Haskell
      •
      MIT License
      •2•2•2•0•Updated Oct 29, 2024Oct 29, 2024
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.