DRAT proof processor
☆16Apr 8, 2023Updated 2 years ago
Alternatives and similar repositories for frat
Users that are interested in frat are comparing it to the libraries listed below
Sorting:
- ☆11Jul 27, 2022Updated 3 years ago
- A Repository Containing Log's Commissions☆10Feb 23, 2024Updated 2 years ago
- Zen is a token trading protocol for transferring NFTs P2P.☆15Sep 7, 2022Updated 3 years ago
- On-Chain Experiment Hub☆14Mar 31, 2022Updated 3 years ago
- A tiny nearest-neighbor embedding database written in C☆19Feb 18, 2026Updated 2 weeks ago
- Oracle System☆15Jun 4, 2022Updated 3 years ago
- evm implementation in rust☆16May 26, 2022Updated 3 years ago
- Modern, Opinionated Multicall Library☆23Feb 27, 2022Updated 4 years ago
- ☆17Jan 30, 2022Updated 4 years ago
- Experimental Contracts for Yobot☆36Feb 12, 2022Updated 4 years ago
- Automated market making whitepaper☆21Mar 6, 2021Updated 4 years ago
- Slow burner for protocol assets.☆33Mar 21, 2023Updated 2 years ago
- A binary search tree implementation in Solidity☆20Aug 5, 2022Updated 3 years ago
- The most degen solidity lib out there.☆28Jul 13, 2023Updated 2 years ago
- ☆21Mar 31, 2022Updated 3 years ago
- Rust Implementation of the Solidity ABI☆43Sep 6, 2025Updated 5 months ago
- Options for ERC721 assets via fractionalizing into ERC20 tokens & depositing into Primitve's RMM-01☆42Apr 10, 2022Updated 3 years ago
- Notes from the 278 semester class at Harvard☆19Jan 20, 2026Updated last month
- Interaction Controllers for Sentiment☆28Jul 5, 2023Updated 2 years ago
- I like to learn new things☆10Updated this week
- Solidity smart contract for atomic swaps.☆10Oct 31, 2022Updated 3 years ago
- Shipyard Precourse Work Part 4☆10Mar 30, 2022Updated 3 years ago
- Library for building symbolically executable stack-based virtual machines☆76Oct 20, 2022Updated 3 years ago
- proof first, evm specific smt solver☆69Apr 11, 2022Updated 3 years ago
- Fixed point solidity exponentiation.☆75Apr 11, 2022Updated 3 years ago
- Dungeon Crawler System☆27Jan 5, 2022Updated 4 years ago
- ☆10Mar 25, 2022Updated 3 years ago
- Rust work for nomad actors☆57Mar 7, 2023Updated 2 years ago
- various contracts to set off or receive cross-chain calls☆10Apr 27, 2022Updated 3 years ago
- General space for Solidity smart contract code and notes☆10Nov 29, 2023Updated 2 years ago
- ☆12Jun 11, 2022Updated 3 years ago
- Just testing, nothing to see here.☆13Mar 17, 2022Updated 3 years ago
- Official Foundry landing page☆17Jun 28, 2023Updated 2 years ago
- A framework for building modular, community-governed crypto native games with interoperable assets.☆11Nov 8, 2021Updated 4 years ago
- Vote-escrowed SUSHI built on ERC-4626 vault standard.☆15Apr 26, 2022Updated 3 years ago
- Barebones Rust EVM Implementation☆12Feb 9, 2022Updated 4 years ago
- Minimal EVM implementation in Rust☆29Mar 28, 2018Updated 7 years ago
- A basic example for how to use hashes to "store" complex objects as hashes. Inspired by 0xSplits.☆13Jul 30, 2022Updated 3 years ago
- EthernautDAO reputation system☆13Jun 1, 2022Updated 3 years ago