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:
- ☆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 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
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 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 4 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 3 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.
- The most degen solidity lib out there.☆27Jul 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 4 years ago
- IDLSet - Fast u64 integer set operations☆13May 30, 2024Updated 2 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
- Vote-escrowed SUSHI built on ERC-4626 vault standard.☆15Apr 26, 2022Updated 4 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Just testing, nothing to see here.☆13Mar 17, 2022Updated 4 years ago
- proof first, evm specific smt solver☆69Apr 11, 2022Updated 4 years ago
- Rust Implementation of the Solidity ABI☆44May 31, 2026Updated last month
- various contracts to set off or receive cross-chain calls☆10Apr 27, 2022Updated 4 years ago
- Minimal EVM implementation in Rust☆29Mar 28, 2018Updated 8 years ago
- Intentionally-limited adaptations of defi protocols/concepts☆32Jul 24, 2022Updated 3 years ago
- ☆19Jun 20, 2022Updated 4 years ago
- Fixed point solidity exponentiation.☆75Apr 11, 2022Updated 4 years ago
- LLVM support for the lean theorem prover☆53Sep 14, 2021Updated 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.
- 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
- ☆12Jun 11, 2022Updated 4 years ago
- ☆36Feb 8, 2022Updated 4 years ago
- A translation verifier for Reopt (https://github.com/GaloisInc/reopt)☆20Sep 20, 2021Updated 4 years ago
- General space for Solidity smart contract code and notes☆10Nov 29, 2023Updated 2 years ago
- Barebones Rust EVM Implementation☆12Feb 9, 2022Updated 4 years ago