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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆11Jul 27, 2022Updated 3 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 Repository Containing Log's Commissions☆10Feb 23, 2024Updated 2 years ago
- Modern, Opinionated Multicall Library☆23Feb 27, 2022Updated 4 years ago
- Oracle System☆15Jun 4, 2022Updated 3 years ago
- evm implementation in rust☆16May 26, 2022Updated 3 years ago
- Experimental Contracts for Yobot☆36Feb 12, 2022Updated 4 years ago
- ☆17Jan 30, 2022Updated 4 years ago
- Shipyard Precourse Work Part 4☆10Mar 30, 2022Updated 3 years ago
- A tiny nearest-neighbor embedding database written in C☆19Feb 18, 2026Updated last month
- A salmonella token built with foundry☆20Apr 11, 2022Updated 3 years ago
- Options for ERC721 assets via fractionalizing into ERC20 tokens & depositing into Primitve's RMM-01☆42Apr 10, 2022Updated 3 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
- Automated market making whitepaper☆21Mar 6, 2021Updated 5 years ago
- A framework for building modular, community-governed crypto native games with interoperable assets.☆11Nov 8, 2021Updated 4 years ago
- ☆21Mar 31, 2022Updated 3 years ago
- Solidity smart contract for atomic swaps.☆10Oct 31, 2022Updated 3 years ago
- IDLSet - Fast u64 integer set operations☆13May 30, 2024Updated last year
- Dungeon Crawler System☆27Jan 5, 2022Updated 4 years ago
- Library for building symbolically executable stack-based virtual machines☆76Oct 20, 2022Updated 3 years ago
- Slow burner for protocol assets.☆33Mar 21, 2023Updated 3 years ago
- ☆10Mar 25, 2022Updated 3 years ago
- Vote-escrowed SUSHI built on ERC-4626 vault standard.☆15Apr 26, 2022Updated 3 years ago
- Just testing, nothing to see here.☆13Mar 17, 2022Updated 4 years ago
- proof first, evm specific smt solver☆69Apr 11, 2022Updated 3 years ago
- various contracts to set off or receive cross-chain calls☆10Apr 27, 2022Updated 3 years ago
- Rust Implementation of the Solidity ABI☆43Sep 6, 2025Updated 6 months ago
- Minimal EVM implementation in Rust☆29Mar 28, 2018Updated 7 years ago
- Intentionally-limited adaptations of defi protocols, dapps, and concepts☆32Jul 24, 2022Updated 3 years ago
- ☆19Jun 20, 2022Updated 3 years ago
- Fixed point solidity exponentiation.☆75Apr 11, 2022Updated 3 years ago
- LLVM support for the lean theorem prover☆53Sep 14, 2021Updated 4 years ago
- Maximally efficient (WIP), minimalist ERC-721 implementation. Inspired by solmate/ERC721's minimalist architecture and forked from ERC721…☆60Jun 12, 2022Updated 3 years ago
- ☆12May 15, 2025Updated 10 months ago
- Translate Python and JavaScript into MLIR☆17Aug 27, 2022Updated 3 years ago
- ☆12Jun 11, 2022Updated 3 years ago
- ☆36Feb 8, 2022Updated 4 years ago