a lisp built on top of vyper
☆43Jan 8, 2026Updated 2 months ago
Alternatives and similar repositories for dasy
Users that are interested in dasy are comparing it to the libraries listed below
Sorting:
- a lisp built on top of vyper☆50Jun 13, 2025Updated 9 months ago
- ☆14Jan 5, 2026Updated 2 months ago
- EVM assembly as an embedded Common Lisp dsl☆21Aug 12, 2022Updated 3 years ago
- Formatter for Vyper☆33Dec 10, 2025Updated 3 months ago
- ☆29Jul 22, 2022Updated 3 years ago
- ☆18Feb 10, 2023Updated 3 years ago
- Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.☆127Sep 4, 2022Updated 3 years ago
- ☆14Jun 3, 2025Updated 9 months ago
- Vyper examples of LZ-enabled Omnichain contracts☆15Feb 26, 2023Updated 3 years ago
- ☆12Dec 4, 2025Updated 3 months ago
- e=vm² (pronounced evm-squared; the = is silent) is an evm that runs inside evm.☆92Sep 28, 2022Updated 3 years ago
- generate snark proofs in browser - batteries included☆12Nov 11, 2022Updated 3 years ago
- A time-weighted average market maker implementation☆18May 22, 2022Updated 3 years ago
- a vyper interpreter☆305Mar 9, 2026Updated last week
- Flashloan-proof Uniswap v3 price-out-of-range oracle for querying if a position is out of range onchain☆50Jun 16, 2023Updated 2 years ago
- Q: What do Seaport Orders and The Circus Have in common? A: They're both intents.☆30May 31, 2023Updated 2 years ago
- Partial Block Building with TEEs☆19Mar 27, 2024Updated last year
- State-of-the-art, highly opinionated, hyper-optimised, and secure 🐍Vyper smart contract building blocks.☆585Mar 13, 2026Updated last week
- An EVM low-level language that gives full control over the control flow of the smart contract.☆29Feb 20, 2026Updated last month
- Generate discrete random variates from a set of dynamically weighted elements in Solidity using a forest of trees data structure, based o…☆12Apr 3, 2023Updated 2 years ago
- the tiny vyper helper command☆37Jan 26, 2023Updated 3 years ago
- A Huff compiler implemented in Racket☆23Mar 7, 2025Updated last year
- An efficient constant gas function dispatch pattern for solidity external libraries.☆15Sep 1, 2023Updated 2 years ago
- Elliptic Curve arithmetic operations written in Noir☆16Dec 31, 2022Updated 3 years ago
- ☆15Jan 8, 2023Updated 3 years ago
- An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.☆94Aug 12, 2023Updated 2 years ago
- EIP 4626 in Cairo lang for Starknet☆52Sep 14, 2022Updated 3 years ago
- ☆28Sep 27, 2022Updated 3 years ago
- Run arbitrary code on the EVM☆264Feb 21, 2024Updated 2 years ago
- ☆47Sep 22, 2024Updated last year
- ☆55Oct 4, 2022Updated 3 years ago
- Yultsur is a Rust implementation of Yul.☆23Jul 2, 2021Updated 4 years ago
- A Brainfuck zkVM with Circom.☆61Jul 21, 2023Updated 2 years ago
- Smart contract that checks if the SELFDESTRUCT opcode is still valid on the chain it is deployed to☆29Oct 19, 2022Updated 3 years ago
- A dynamic on-chain racing game with real simulations 🏎️☆22Sep 26, 2022Updated 3 years ago
- Telegram dev bot for all your dirty work☆16Feb 9, 2026Updated last month
- A Zig implementation of Ethereum stealth addresses (ERC-5564)☆34May 4, 2024Updated last year
- Decentralized Summation System☆45Jul 31, 2022Updated 3 years ago
- Zig implementation of the Ethereum Virtual Machine☆88Nov 25, 2023Updated 2 years ago