z80dev / dasy
a lisp built on top of vyper
☆43Updated 8 months ago
Alternatives and similar repositories for dasy:
Users that are interested in dasy are comparing it to the libraries listed below
- a lisp built on top of vyper☆51Updated last year
- An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.☆90Updated last year
- Rust bindings for Solidity's AST and visitors☆50Updated last year
- ☆98Updated last year
- ☆40Updated 2 years ago
- An opcode-oriented language that compiles to the EVM☆70Updated 2 months ago
- Vyro - Vyper to Cairo transpiler for the Ethereum and StarkNet ecosystems.☆30Updated 2 years ago
- Minimal template for using the Arbiter framework for simulations.☆46Updated 4 months ago
- A naive bloom filter implementation in Cairo☆37Updated 2 years ago
- Minimal Yul Transpilation to the Miden VM☆53Updated 2 years ago
- Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs☆47Updated 2 years ago
- Unified liquidity, accessible anywhere.☆23Updated last year
- Helpers for deploying smart contracts to multiple chains with CREATE2☆50Updated last month
- Basic Noir private proof of membership☆89Updated last month
- A Zig implementation of Ethereum stealth addresses (ERC-5564)☆33Updated last year
- ☆31Updated last year
- 🔒💬 A protocol for credible commitments.☆75Updated last year
- A Noir circuit that mimics Solidity's ecrecover☆52Updated 5 months ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆55Updated last year
- ☆56Updated 2 years ago
- Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust☆62Updated last year
- Experimental hybrid/cross-chain ERC4626 vaults☆51Updated 2 years ago
- an introduction to noir, with simple examples☆45Updated last year
- A Brainfuck zkVM with Circom.☆58Updated last year
- 2nd place at Huffathon 2023. Optimized token mixer for Ethereum utilizing zkSNARKs. 500% cheaper than Tornado cash☆82Updated last year
- ☆46Updated 3 years ago
- Optimized, in-memory, memory safe data structures written in Solidity.☆36Updated last year
- ☆47Updated 7 months ago
- A rust library to interact with the Vyper compiler!☆43Updated last year
- A blazing-fast helper library for convenient Solidity dynamic arrays☆42Updated 8 months ago