z80dev / dasyLinks
a lisp built on top of vyper
☆43Updated 9 months ago
Alternatives and similar repositories for dasy
Users that are interested in dasy are comparing it to the libraries listed below
Sorting:
- An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.☆90Updated last year
- a lisp built on top of vyper☆51Updated last year
- Vyro - Vyper to Cairo transpiler for the Ethereum and StarkNet ecosystems.☆30Updated 2 years ago
- ☆98Updated 2 years ago
- Incorrect, Breaking, and Footgunned Huff Contracts.☆30Updated 2 years ago
- ☆40Updated 2 years ago
- Optimized, in-memory, memory safe data structures written in Solidity.☆36Updated last year
- Minimal Yul Transpilation to the Miden VM☆53Updated 2 years ago
- A Zig implementation of Ethereum stealth addresses (ERC-5564)☆33Updated last year
- The most gas optimized ERC-4337 account - written in Huff☆45Updated last year
- A naive bloom filter implementation in Cairo☆37Updated 3 years ago
- Rust bindings for Solidity's AST and visitors☆50Updated last year
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆55Updated last year
- Extensive Huff Language Documentation, Tutorials, and Resources built with Vuepress and deployed at https://docs.huff.sh☆36Updated last year
- 2nd place at Huffathon 2023. Optimized token mixer for Ethereum utilizing zkSNARKs. 500% cheaper than Tornado cash☆81Updated last year
- Account2 is three things: - Account Abstraction (AA) - Economic Abstraction (EA) - Account Linking☆78Updated 2 years ago
- Codegen pretty-printing and deep equality Solidity functions for the Forge testing framework☆65Updated 2 years ago
- 🦀 Blazing fast, modern, and optimized Rust building blocks for smart contract development using Stylus.☆49Updated last year
- A graph library built with Cairo☆28Updated 2 years ago
- Minimal template for using the Arbiter framework for simulations.☆47Updated 4 months ago
- Like Safe... but secret 🥷🏽☆60Updated 4 months ago
- Learn Cairo and StarkNet Smart Contract programming with example code☆22Updated 2 years ago
- standardized framework to simulate governance proposals with forge☆57Updated 2 years ago
- Ethereum development made easy. Rust-powered toolkit for devs that inhabit the EVM.☆27Updated last year
- A Noir circuit that mimics Solidity's ecrecover☆52Updated 6 months ago
- Submodules Kill Solidity☆38Updated last year
- secp256k1 elliptic curve cryptography in pure Solidity for on- and offchain operations☆59Updated 3 months ago
- An opcode-oriented language that compiles to the EVM☆73Updated 3 months ago
- EulerSwap is an automated market maker (AMM) that integrates with EVK vaults and the EVC to provide deeper liquidity for swaps.☆19Updated last week
- an introduction to noir, with simple examples☆44Updated last year