dasylang / dasy
a lisp built on top of vyper
☆51Updated last year
Alternatives and similar repositories for dasy:
Users that are interested in dasy are comparing it to the libraries listed below
- secp256k1 elliptic curve cryptography in pure Solidity for on- and offchain operations☆61Updated last month
- Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.☆127Updated 2 years ago
- A naive bloom filter implementation in Cairo☆37Updated 2 years ago
- 🔒💬 A protocol for credible commitments.☆75Updated last year
- ☆47Updated 7 months ago
- Simple Proof of Concept demonstrating a 7683 + 7702 cross chain delegated transaction experience☆33Updated 4 months ago
- Submodules Kill Solidity☆38Updated last year
- An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.☆91Updated last year
- Execute programs from forge with an open 2-way communication channel between both☆56Updated 10 months ago
- Generating Inputs for OZ's MultiProof and SingleProof☆37Updated 5 months ago
- The most gas optimized ERC-4337 account - written in Huff☆46Updated last year
- Extensive Huff Language Documentation, Tutorials, and Resources built with Vuepress and deployed at https://docs.huff.sh☆36Updated last year
- On-chain 8x8 bitmap svg packed into a single 32 byte storage slot.☆65Updated 2 years ago
- ☆37Updated 3 years ago
- Data & code accompanying Paradigm's How to Raise the Gas Limit post.☆33Updated last year
- A simple merkle distributor written in Cairo☆38Updated 2 years ago
- Trustless oracle of historical Uniswap v3 TWAP using ZK☆38Updated last year
- Various ERC-721 Dutch Auctions for StarkNet☆30Updated 2 years ago
- Sponsored transactions using Permit2☆44Updated last year
- ☆46Updated 11 months ago
- A ⁵⁄₉-themed NFT to commemorate me running 10000km in 555 days of running everyday.☆61Updated last year
- Flashloan-proof Uniswap v3 price-out-of-range oracle for querying if a position is out of range onchain☆50Updated last year
- Starknet pool to provide non-custodial liquidity to central limit order book market makers☆25Updated 2 years ago
- Collection of helpful smart contracts to build Suapps☆44Updated 4 months ago
- Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust☆62Updated last year
- Simulate txs to human readable format☆28Updated 2 years ago
- Testing echidna vs. forge fuzzing☆76Updated 2 years ago
- An interactive VSCode extension that enables developers to visualize, debug, and break down Huff contracts.☆49Updated last year
- ELO calculation as a solidity library (algorithm of 400 / chess ELO)☆34Updated 2 years ago
- ☆34Updated 7 months ago