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:
- ☆10Jul 27, 2022Updated 4 years ago
- Zen is a token trading protocol for transferring NFTs P2P.☆15Sep 7, 2022Updated 4 years ago
- On-Chain Experiment Hub☆14Mar 31, 2022Updated 4 years ago
- A Repository Containing Log's Commissions☆10Feb 23, 2024Updated 2 years ago
- Modern, Opinionated Multicall Library☆23Feb 27, 2022Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Oracle System☆15Jun 4, 2022Updated 4 years ago
- evm implementation in rust☆16May 26, 2022Updated 4 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 4 years ago
- A tiny nearest-neighbor embedding database written in C☆19Feb 18, 2026Updated 7 months ago
- A salmonella token built with foundry☆20Apr 11, 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
- A binary search tree implementation in Solidity☆20Aug 5, 2022Updated 4 years ago
- 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.
- The most degen solidity lib out there.☆27Jul 13, 2023Updated 3 years ago
- Automated market making whitepaper☆21Mar 6, 2021Updated 5 years ago
- ☆21Mar 31, 2022Updated 4 years ago
- A framework for building modular, community-governed crypto native games with interoperable assets.☆10Nov 8, 2021Updated 4 years ago
- 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
- IDLSet - Fast u64 integer set operations☆13May 30, 2024Updated 2 years ago
- Vote-escrowed SUSHI built on ERC-4626 vault standard.☆15Apr 26, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Just testing, nothing to see here.☆13Mar 17, 2022Updated 4 years ago
- Rust Implementation of the Solidity ABI☆45May 31, 2026Updated 3 months ago
- Minimal EVM implementation in Rust☆29Mar 28, 2018Updated 8 years ago
- Intentionally-limited adaptations of defi protocols/concepts☆32Jul 24, 2022Updated 4 years ago
- ☆19Jun 20, 2022Updated 4 years ago
- Notes from the 278 semester class at Harvard☆20Aug 14, 2026Updated last month
- Maximally efficient (WIP), minimalist ERC-721 implementation. Inspired by solmate/ERC721's minimalist architecture and forked from ERC721…☆60Jun 12, 2022Updated 4 years ago
- ☆12May 15, 2025Updated last year
- LLVM support for the lean theorem prover☆53Sep 14, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆12Jun 11, 2022Updated 4 years ago
- Fixed point solidity exponentiation.☆74Apr 11, 2022Updated 4 years ago
- ☆36Feb 8, 2022Updated 4 years ago
- A translation verifier for Reopt (https://github.com/GaloisInc/reopt)☆20Sep 20, 2021Updated 5 years ago
- Barebones Rust EVM Implementation☆12Feb 9, 2022Updated 4 years ago
- Translate Python and JavaScript into MLIR☆20Aug 27, 2022Updated 4 years ago
- MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus☆29Jan 24, 2022Updated 4 years ago