Stars
Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
The modern API client that lives in your terminal.
Autonomous coding agent right in your IDE, capable of creating/editing files, executing commands, using the browser, and more with your permission every step of the way.
VTuber application made with Godot 4
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
Boojum, the scariest SNARK implementation.
🔑🔑🔑 next generation token approvals mechanism
A trustless P2P fiat onramp powered by ZK proofs.
Provable play of Nintendo Entertainment System in Noir
Heimdall is an advanced EVM smart contract toolkit specializing in bytecode analysis and extracting information from unverified contracts.
ezkl is an engine for doing inference for deep learning models and other computational graphs in a zk-snark (ZKML). Use it from Python, Javascript, or the command line.
A Rust program for finding salts that create gas-efficient Ethereum addresses via CREATE2.
🦄 🦄 🦄 🦄 Core smart contracts of Uniswap v4
Q: What do Seaport Orders and The Circus Have in common? A: They're both intents.
🍩 Donut is a novel runtime environment for developing and executing fully homomorphic software programs
💄 Ink-redible command-line interfaces made easy
Simple (relatively) things allowing you to dig a bit deeper than usual.
Foundry plugin for zksync era contract deployment
EVAL(Elastic Versatile Agent with Langchain) will execute all your requests. Just like an eval method!
World's first implementation of a (possibly) secure witness encryption scheme. Uses the CLT13 multilinear map.
AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.