z80dev / dasy
a lisp built on top of vyper
☆43Updated 7 months ago
Alternatives and similar repositories for dasy:
Users that are interested in dasy are comparing it to the libraries listed below
- An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.☆91Updated last year
- a lisp built on top of vyper☆51Updated last year
- Helpers for deploying smart contracts to multiple chains with CREATE2☆50Updated last week
- A naive bloom filter implementation in Cairo☆37Updated 2 years ago
- ☆46Updated 3 years ago
- Rust bindings for Solidity's AST and visitors☆50Updated last year
- 🔒💬 A protocol for credible commitments.☆75Updated last year
- ☆39Updated 2 years ago
- Minimal template for using the Arbiter framework for simulations.☆46Updated 2 months ago
- ☆32Updated 2 years ago
- ☆98Updated last year
- Ethereum development made easy. Rust-powered toolkit for devs that inhabit the EVM.☆26Updated 10 months ago
- A collection of libraries to be implemented for Automated Market Makers built in Sway.☆55Updated 2 years ago
- Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs☆46Updated 2 years ago
- Anonymous rewards on StarkNet☆35Updated 3 years ago
- Memory access with runtime typechecking in Solidity☆73Updated last year
- A Brainfuck zkVM with Circom.☆58Updated last year
- GitHub Action for building a Foundry project with a range of Solidity versions☆41Updated 2 months ago
- the tiny vyper helper command☆38Updated 2 years ago
- A blazing-fast helper library for convenient Solidity dynamic arrays☆42Updated 7 months ago
- Aims to provide an audited, elegant, minimal implementation of BLS signing, key generation, resharing over the alt-bls128 curve☆39Updated this week
- Execute programs from forge with an open 2-way communication channel between both☆56Updated 10 months ago
- Template using EIP-3074 - AUTH and AUTHCALL in Solidity☆29Updated last year
- ☆75Updated 2 years ago
- Scaling Ethereum, but this time in rust.☆90Updated last year
- Testing echidna vs. forge fuzzing☆75Updated 2 years ago
- Minimal Yul Transpilation to the Miden VM☆53Updated 2 years ago
- standardized framework to simulate governance proposals with forge☆57Updated last year
- Forkable hardhat & foundry template for thorough evm development.☆87Updated 2 years ago
- ELO calculation as a solidity library (algorithm of 400 / chess ELO)☆34Updated 2 years ago