DRAT proof processor
☆16Apr 8, 2023Updated 3 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:
- On-Chain Experiment Hub☆14Mar 31, 2022Updated 4 years ago
- ☆10Jul 27, 2022Updated 4 years ago
- Zen is a token trading protocol for transferring NFTs P2P.☆15Sep 7, 2022Updated 4 years ago
- A Repository Containing Log's Commissions☆10Feb 23, 2024Updated 2 years ago
- Shipyard Precourse Work Part 4☆10Mar 30, 2022Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Modern, Opinionated Multicall Library☆23Feb 27, 2022Updated 4 years ago
- Token for accruing protocol revenues☆16May 27, 2022Updated 4 years ago
- Oracle System☆15Jun 4, 2022Updated 4 years ago
- evm implementation in rust☆16May 26, 2022Updated 4 years ago
- ☆17Jan 30, 2022Updated 4 years ago
- Experimental Contracts for Yobot☆36Feb 12, 2022Updated 4 years ago
- A binary search tree implementation in Solidity☆20Aug 5, 2022Updated 4 years ago
- ☆21Mar 31, 2022Updated 4 years ago
- Options for ERC721 assets via fractionalizing into ERC20 tokens & depositing into Primitve's RMM-01☆42Apr 10, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Automated market making whitepaper☆21Mar 6, 2021Updated 5 years ago
- Oracle whitelisting for permissioned user.☆10Apr 26, 2022Updated 4 years ago
- Notes from the 278 semester class at Harvard☆20Aug 14, 2026Updated 2 months ago
- ☆22May 18, 2022Updated 4 years ago
- A framework for building modular, community-governed crypto native games with interoperable assets.☆10Nov 8, 2021Updated 4 years ago
- A tiny nearest-neighbor embedding database written in C☆19Feb 18, 2026Updated 8 months ago
- Solidity experiments from a practicing lawyer.☆13Jun 11, 2022Updated 4 years ago
- The most degen solidity lib out there.☆27Jul 13, 2023Updated 3 years ago
- The first efficient procedure to test whether a sampler is uniform☆14Mar 27, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆19May 29, 2026Updated 5 months ago
- Dimacs CNF utilities☆20Jan 17, 2011Updated 15 years ago
- Slow burner for protocol assets.☆33Mar 21, 2023Updated 3 years ago
- Just testing, nothing to see here.☆13Mar 17, 2022Updated 4 years ago
- A salmonella token built with foundry☆20Apr 11, 2022Updated 4 years ago
- ☆14Aug 2, 2022Updated 4 years ago
- Dungeon Crawler System☆27Jan 5, 2022Updated 4 years ago
- Library for building symbolically executable stack-based virtual machines☆76Oct 20, 2022Updated 4 years ago
- ☆19Jun 20, 2022Updated 4 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Rust Implementation of the Solidity ABI☆45May 31, 2026Updated 5 months ago
- A Solidity implementation of binary, sum, and sparse Merkle trees☆56Feb 12, 2026Updated 8 months ago
- Maximally efficient (WIP), minimalist ERC-721 implementation. Inspired by solmate/ERC721's minimalist architecture and forked from ERC721…☆60Jun 12, 2022Updated 4 years ago
- A simple and efficient wrapper around the OpenAI API☆29Aug 5, 2024Updated 2 years ago
- Vote-escrowed SUSHI built on ERC-4626 vault standard.☆15Apr 26, 2022Updated 4 years ago
- LLVM support for the lean theorem prover☆53Sep 14, 2021Updated 5 years ago
- A translation verifier for Reopt (https://github.com/GaloisInc/reopt)☆20Sep 20, 2021Updated 5 years ago