z80dev / dasy
a lisp built on top of vyper
☆44Updated 3 weeks ago
Related projects: ⓘ
- a lisp built on top of vyper☆50Updated 7 months ago
- An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.☆90Updated last year
- ☆39Updated 2 years ago
- A naive bloom filter implementation in Cairo☆37Updated 2 years ago
- Minimal Yul Transpilation to the Miden VM☆51Updated last year
- Minimal template for simulating contracts with arbiter.☆45Updated 3 months ago
- A Zig implementation of Ethereum stealth addresses (ERC-5564)☆29Updated 4 months ago
- The Incentivized Action Market (IAM) Protocol.☆23Updated this week
- A graph library built with Cairo☆27Updated 2 years ago
- Optimized, in-memory, memory safe data structures written in Solidity.☆36Updated 7 months ago
- ☆28Updated this week
- Incorrect, Breaking, and Footgunned Huff Contracts.☆30Updated last year
- Composable OP Stack Orchestration☆41Updated 10 months ago
- ☆46Updated 3 years ago
- Unified liquidity, accessible anywhere.☆23Updated last year
- Anonymous rewards on StarkNet☆35Updated 3 years ago
- ☆40Updated 2 years ago
- ☆56Updated 2 years ago
- The moment you Rust, you should look for your Mojo 🔥.☆21Updated last year
- 🔒💬 A protocol for credible commitments.☆73Updated 7 months ago
- Experimental hybrid/cross-chain ERC4626 vaults☆50Updated last year
- Proof of slashed validator inside the EVM☆19Updated 4 months ago
- EIP 4626 in Cairo lang for Starknet☆51Updated 2 years ago
- openzepplin smart contracts written in rust for arbritum stylus☆11Updated 5 months ago
- Trustless oracle of historical Uniswap v3 TWAP using ZK☆38Updated last year
- under construction 🚧☆30Updated 5 months ago
- ☆37Updated 2 years ago
- rust bindings for various defi projects☆65Updated 2 years ago
- Library for common cairo functions☆38Updated 2 years ago
- the tiny vyper helper command☆38Updated last year