Projects in Awesome Lists by argumentcomputer
A curated list of projects in awesome lists by argumentcomputer .
https://github.com/argumentcomputer/yatima-lang-alpha
A programming language for the decentralized web
Last synced: 22 Jul 2025
https://github.com/lurk-lab/neptune
Rust Poseidon implementation (contact: @porcuquine)
Last synced: 12 Dec 2025
https://github.com/argumentcomputer/yatima
A zero-knowledge Lean4 compiler and kernel
Last synced: 02 Apr 2026
https://github.com/argumentcomputer/zk-light-clients
A collection of ZK light client libraries for various blockchains
Last synced: 02 Apr 2026
https://github.com/argumentcomputer/Wasm.lean
A WebAssembly implementation in Lean4
Last synced: 10 Jul 2025
https://github.com/argumentcomputer/RustFFI.lean
Template for Lean<->Rust FFI
Last synced: 22 Jul 2025
https://github.com/argumentcomputer/ZKSnark.lean
https://yatima-inc.github.io/ZKSnark.lean/
Last synced: 22 Jul 2025
https://github.com/argumentcomputer/multi-stark
Implementation of a multicircuit STARK in P3
Last synced: 02 Apr 2026
https://github.com/argumentcomputer/lurk-hs
Haskell Wrappers for Lurk (contact: @huitseeker)
Last synced: 02 Apr 2026
https://github.com/argumentcomputer/template-rust-lib
Base template for a Rust library crate with CI, config files, and branch protection
Last synced: 02 Apr 2026
https://github.com/argumentcomputer/sphinx-contracts
Solidity contracts for Sphinx (contact: @storojs72)
Last synced: 02 Apr 2026
https://github.com/argumentcomputer/ci-lab
Testing grounds for CI and GH Actions workflows
Last synced: 02 Apr 2026
https://github.com/argumentcomputer/ci-workflows
GitHub Actions workflows and templates for use in Lurk repos
Last synced: 02 Apr 2026