a lisp built on top of vyper
☆43Jan 8, 2026Updated 4 months ago
Alternatives and similar repositories for dasy
Users that are interested in dasy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- a lisp built on top of vyper☆50Jun 13, 2025Updated 11 months ago
- ☆14Apr 6, 2026Updated last month
- EVM assembly as an embedded Common Lisp dsl☆21Aug 12, 2022Updated 3 years ago
- Formatter for Vyper☆33Dec 10, 2025Updated 5 months ago
- ☆29Jul 22, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Formal specification and verification of Vyper☆26Updated this week
- ☆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 11 months ago
- Vyper examples of LZ-enabled Omnichain contracts☆15Feb 26, 2023Updated 3 years ago
- ☆12Dec 4, 2025Updated 5 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
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- a vyper interpreter☆305Updated this 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
- Partial Block Building with TEEs☆19Mar 27, 2024Updated 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
- State-of-the-art, highly opinionated, hyper-optimised, and secure 🐍Vyper smart contract building blocks.☆595May 13, 2026Updated last week
- An EVM low-level language that gives full control over the control flow of the smart contract.☆29Feb 20, 2026Updated 3 months ago
- the tiny vyper helper command☆37Jan 26, 2023Updated 3 years ago
- 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 3 years ago
- A Huff compiler implemented in Racket☆22Mar 7, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 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☆265Feb 21, 2024Updated 2 years ago
- ☆47Sep 22, 2024Updated last year
- ☆55Oct 4, 2022Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Yultsur is a Rust implementation of Yul.☆23Jul 2, 2021Updated 4 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 Brainfuck zkVM with Circom.☆61Jul 21, 2023Updated 2 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 3 months ago
- A Zig implementation of Ethereum stealth addresses (ERC-5564)☆34May 4, 2024Updated 2 years ago
- Decentralized Summation System☆45Jul 31, 2022Updated 3 years ago