─── ecosystem · lurk-language
Lurk Language
repositories
118
contributors
1,029
languages
15
top lang
Rust
repo wow
+0
contrib wow
+886
star wow
+0
weeks avail
5
─── weekly trend · 5w
repositories
20
contributors
1,029
stars
1,974
─── top languages · by repos
─── repositories
100 / 118| # | repository | lang | stars | forks |
|---|---|---|---|---|
| 001 | lurk-lab/lurk-beta Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact: @porcuquine) | Rust | 451 | 61 |
| 002 | argumentcomputer/yatima-lang-alpha A programming language for the decentralized web | Rust | 445 | 18 |
| 003 | lurk-lab/awesome-folding A curated list of zero-knowledge folding schemes | — | 310 | 36 |
| 004 | argumentcomputer/yatima A zero-knowledge Lean4 compiler and kernel | Lean | 146 | 12 |
| 005 | lurk-lang/arecibo An advanced fork of Nova (contact:@huitseeker) | Rust | 90 | 37 |
| 006 | lurk-lab/lurk-lisp Lisp implementation of Lurk. | Common Lisp | 79 | 8 |
| 007 | argumentcomputer/sphinx An observatory fork of SP1 | Rust | 77 | 8 |
| 008 | lurk-lang/bellpepper SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine) | Rust | 77 | 20 |
| 009 | argumentcomputer/LSpec A Testing Framework for Lean | Lean | 76 | 17 |
| 010 | argumentcomputer/Wasm.lean A WebAssembly implementation in Lean4 | Lean | 42 | 5 |
| 011 | argumentcomputer/Megaparsec.lean Lean 4 port of Megaparsec | Lean | 35 | 8 |
| 012 | lurk-lab/circom-scotia | Rust | 24 | 12 |
| 013 | argumentcomputer/introit The Yatima Standard Library | Nix | 20 | 0 |
| 014 | lurk-lab/bellpepper-gadgets A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker) | Rust | 18 | 13 |
| 015 | lurk-lab/lurk-lib Shared Lurk source code, including tests and library code. | — | 18 | 1 |
| 016 | argumentcomputer/RustFFI.lean Template for Lean<->Rust FFI | Lean | 15 | 2 |
| 017 | argumentcomputer/FFaCiL.lean Finite Fields and Curves in Lean | Lean | 14 | 3 |
| 018 | project-illium/ilxd illium full node implementation written in Go | Go | 14 | 7 |
| 019 | argumentcomputer/Http.lean Basic Http functionality in Lean (unfinished) | Lean | 12 | 3 |
| 020 | argumentcomputer/radiya.rs A Rust implementation of the Lean kernel | Rust | 11 | 0 |
| 021 | argumentcomputer/Lurk.lean A Lean 4 implementation of the Lurk Language for recursive zkSNARKS | Lean | 9 | 2 |
| 022 | argumentcomputer/Parsec.lean Parser combinators for Lean | Lean | 9 | 2 |
| 023 | argumentcomputer/YatimaStdLib.lean | Lean | 9 | 9 |
| 024 | argumentcomputer/Ipld.lean a Lean4 implementation of the IPLD format | Lean | 8 | 1 |
| 025 | argumentcomputer/Poseidon.lean A Lean 4 implementation of the Poseidon zkSNARK-friendly hash function | Lean | 8 | 1 |
| 026 | argumentcomputer/ZKSnark.lean https://yatima-inc.github.io/ZKSnark.lean/ | Lean | 8 | 2 |
| 027 | argumentcomputer/Blake3.lean Lean4 bindings to Blake3 | Lean | 6 | 1 |
| 028 | argumentcomputer/straume State-of-the-art streams for Lean 4 | Lean | 6 | 5 |
| 029 | argumentcomputer/OpenGL.lean OpenGL Lean bindings (WIP) | Nix | 5 | 0 |
| 030 | argumentcomputer/sp-im immutable `no_std` data structures suitable for use within Substrate | Rust | 5 | 1 |
| 031 | argumentcomputer/yatima-lang-proto The original Haskell + IPFS prototype of the yatima language | Haskell | 5 | 0 |
| 032 | argumentcomputer/bytecursor No_std buffer library | Rust | 4 | 2 |
| 033 | argumentcomputer/OpenSSL.lean OpenSSL bindings for Lean | C | 4 | 2 |
| 034 | argumentcomputer/Vero | Lean | 4 | 0 |
| 035 | lurk-lab/lurk-web-utils Tools for developing Lurk on the web | JavaScript | 4 | 1 |
| 036 | argumentcomputer/gh-actions-runner Self-hosted runner for Lurk CI in Docker | Shell | 3 | 2 |
| 037 | argumentcomputer/Graph.lean A graph library in Lean 4 | — | 3 | 0 |
| 038 | argumentcomputer/Nova.lean | Lean | 3 | 2 |
| 039 | argumentcomputer/Plonky3 A toolkit for polynomial IOPs (PIOPs) | Rust | 3 | 0 |
| 040 | argumentcomputer/Spark.lean | Lean | 3 | 0 |
| 041 | lurk-lab/lurk-vscode Support for Lurk in the VS Code IDE (contact: @arthurpaulino) | TypeScript | 3 | 1 |
| 042 | argumentcomputer/Bellanova.lean | Lean | 2 | 1 |
| 043 | argumentcomputer/cedille-core-rs Implementation of Cedille Core in Rust | Rust | 2 | 0 |
| 044 | argumentcomputer/Cli.lean A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments. | Lean | 2 | 1 |
| 045 | argumentcomputer/lean4-nix Nix overlay for Lean 4, and lake2nix | Nix | 2 | 0 |
| 046 | argumentcomputer/Radiya.lean A self-hosted, content-addressed, Lean4 kernel | Lean | 2 | 0 |
| 047 | argumentcomputer/sp-ipld IPLD library for no_std use within Substrate | Rust | 2 | 1 |
| 048 | argumentcomputer/valus A smart contract platform with on-chain formal verification | Rust | 2 | 0 |
| 049 | danfinlay/ro-shhhambo A private, zero-knowledge RPS tournament using LISP, Spritely's HOOT, Endo, and Lurk. | Scheme | 2 | 0 |
| 050 | lurk-lab/user-manual | — | 2 | 3 |
| 051 | argumentcomputer/github-actions-runner-cuda Self-hosted GitHub Actions runners with a CUDA base image | Shell | 1 | 0 |
| 052 | argumentcomputer/lean2zkvm Tool for compiling Lean to Risc-V and WASM for zkVMs | Lean | 1 | 0 |
| 053 | argumentcomputer/Neptune.lean Lean Neptune bindings | Lean | 1 | 0 |
| 054 | argumentcomputer/nix-utils Nix overlays and utils used across projects | Nix | 1 | 2 |
| 055 | argumentcomputer/RustCrypto-hashes Collection of cryptographic hash functions written in pure Rust | — | 1 | 0 |
| 056 | argumentcomputer/rustyline Readline Implementation in Rust | Rust | 1 | 1 |
| 057 | argumentcomputer/Serde.lean Serialization library in Lean | Nix | 1 | 0 |
| 058 | argumentcomputer/sp-cid Cid library for no_std use within Substrate | Rust | 1 | 2 |
| 059 | argumentcomputer/sp-multihash Multihash library for no_std use within Substrate | Rust | 1 | 2 |
| 060 | argumentcomputer/substrate-node-template | Rust | 1 | 2 |
| 061 | argumentcomputer/Sudoku.lean Sudoku formalization in Lean (unfinished) | Lean | 1 | 0 |
| 062 | argumentcomputer/test-pallet | Rust | 1 | 0 |
| 063 | lurk-lab/bellperson zk-SNARK library | Rust | 1 | 1 |
| 064 | lurk-lab/bellperson-nonnative Non-native arithmetic for SNARKs | Rust | 1 | 0 |
| 065 | lurk-lab/grumpkin-msm | Rust | 1 | 5 |
| 066 | lurk-lab/keccak-circom-gadget Implementation of a Circom Gadge for the Keccak hasing algorithm. | JavaScript | 1 | 1 |
| 067 | lurk-lab/lurk-lab.com Lurk Lab Inc. website | HTML | 1 | 0 |
| 068 | lurk-lang/Nova Nova: Recursive SNARKs without trusted setup | Rust | 1 | 1 |
| 069 | patricoferris/scratch nothing to see here | Rust | 1 | 0 |
| 070 | argumentcomputer/.github | — | 0 | 0 |
| 071 | argumentcomputer/aptos-core Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience. | Rust | 0 | 0 |
| 072 | argumentcomputer/binius A SNARK protocol over towers of binary fields, implemented in Rust (mirror of https://gitlab.com/IrreducibleOSS/binius) | Rust | 0 | 0 |
| 073 | argumentcomputer/bls12_381 Implementation of the BLS12-381 pairing-friendly elliptic curve group. This repository maintains a branch used in ZK-proving (contact: @wwared) | Rust | 0 | 0 |
| 074 | argumentcomputer/ci-lab Testing grounds for CI and GH Actions workflows | Nix | 0 | 1 |
| 075 | argumentcomputer/ci-workflows GitHub Actions workflows and templates for use in Argument repos | Rust | 0 | 3 |
| 076 | argumentcomputer/cid Self-describing content-addressed identifiers for distributed systems | — | 0 | 0 |
| 077 | argumentcomputer/electrolysis Simple verification of Rust programs via functional purification in Lean (2 rewrite to 4) | — | 0 | 0 |
| 078 | argumentcomputer/Grant-Milestone-Delivery Repository to submit finished milestones | Shell | 0 | 0 |
| 079 | argumentcomputer/grin GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support. | Haskell | 0 | 0 |
| 080 | argumentcomputer/halo2curves | — | 0 | 0 |
| 081 | argumentcomputer/lake Lean 4 build system and package manager with configuration files written in Lean. | Lean | 0 | 0 |
| 082 | argumentcomputer/lean4 Lean 4 programming language and theorem prover | Lean | 0 | 0 |
| 083 | argumentcomputer/libipld Rust IPLD library | Rust | 0 | 0 |
| 084 | argumentcomputer/LightData A lightweight serialization format | Lean | 0 | 1 |
| 085 | argumentcomputer/lunatic Lunatic is an Erlang inspired runtime for WebAssembly | — | 0 | 0 |
| 086 | argumentcomputer/LurkFF.lean A Lean library for finite fields used by the Lurk language | — | 0 | 0 |
| 087 | argumentcomputer/mathlib4 Work in progress mathlib port for lean 4 | Lean | 0 | 0 |
| 088 | argumentcomputer/naersk Build rust crates in Nix. No configuration, no code generation, no IFD. Sandbox friendly. | Nix | 0 | 0 |
| 089 | argumentcomputer/Open-Grants-Program Web3 Foundation Open Grants Program | Shell | 0 | 0 |
| 090 | argumentcomputer/printiest A pretty printer for Lean 4 | Lean | 0 | 0 |
| 091 | argumentcomputer/rust-cache A GitHub Action that implements smart caching for rust/cargo projects | — | 0 | 0 |
| 092 | argumentcomputer/rust-cid CID in rust | — | 0 | 0 |
| 093 | argumentcomputer/Socket.lean A toy implementation of socket programming for Lean 4. | C | 0 | 0 |
| 094 | argumentcomputer/sp-ropey Text rope for `no_std` use within Substrate | Rust | 0 | 0 |
| 095 | argumentcomputer/sp-sized-chunks Fixed length array types for `no_std` use within Substrate | Rust | 0 | 0 |
| 096 | argumentcomputer/sp1 A performant, 100% open-source, contributor-friendly zkVM. | Rust | 0 | 0 |
| 097 | argumentcomputer/specs Technical specifications for the IPFS protocol stack | — | 0 | 0 |
| 098 | argumentcomputer/sphinx-contracts Solidity contracts for Sphinx (contact: @storojs72) | Solidity | 0 | 0 |
| 099 | argumentcomputer/substrate-front-end-template | JavaScript | 0 | 0 |
| 100 | argumentcomputer/template-rust-lib Base template for a Rust library crate with CI, config files, and branch protection | Rust | 0 | 0 |
Want deeper analysis?
Commission a benchmark report for Lurk Language.
─── subscriber view
Unlock the full view of the Lurk Language ecosystem
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.