☆24Oct 3, 2022Updated 3 years ago
Alternatives and similar repositories for sov0
Users that are interested in sov0 are comparing it to the libraries listed below
Sorting:
- ☆14Oct 7, 2022Updated 3 years ago
- Certora integration with the Forge testing framework of Foundry☆21Jun 8, 2023Updated 2 years ago
- ☆14Mar 6, 2023Updated 3 years ago
- Solution for the Optimizoor club's sqrt challenge☆18Nov 2, 2022Updated 3 years ago
- CC0 grey box game dev assets derived from thebasemesh.com as an asset pallet☆13Apr 21, 2023Updated 2 years ago
- ERC20 with the burner address settable other than address(0)☆10Jun 24, 2021Updated 4 years ago
- ☆27May 12, 2022Updated 3 years ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Jun 4, 2024Updated last year
- DAO protocol for sustainable NFT rewards☆13Aug 16, 2021Updated 4 years ago
- A simple TUI to assist in diffing bodies of text☆15May 9, 2024Updated last year
- It's Uniswap in a Box!☆13Jan 31, 2022Updated 4 years ago
- Modern, Opinionated Multicall Library☆23Feb 27, 2022Updated 4 years ago
- ☆10Mar 25, 2022Updated 3 years ago
- 🎛 Core smart contracts of Uniswap V2☆16Oct 1, 2024Updated last year
- Vote-escrowed SUSHI built on ERC-4626 vault standard.☆15Apr 26, 2022Updated 3 years ago
- various contracts to set off or receive cross-chain calls☆10Apr 27, 2022Updated 3 years ago
- Use `forge` and `cast` commands in Python scripts☆19Apr 3, 2022Updated 3 years ago
- ☆10Jun 17, 2022Updated 3 years ago
- Efficient beacon chain batch deposit contract written in huff☆22Oct 1, 2023Updated 2 years ago
- A swiss army knife for creating, managing, and deploying World Engine projects☆13Mar 12, 2026Updated last week
- ☆12May 15, 2025Updated 10 months ago
- A basic example for how to use hashes to "store" complex objects as hashes. Inspired by 0xSplits.☆13Jul 30, 2022Updated 3 years ago
- Implementing a Turing-complete computer (OISC) within a zk-SNARKS circuit.☆13Nov 24, 2021Updated 4 years ago
- an overview of decentralized science events and meetups☆15Dec 11, 2023Updated 2 years ago
- ☆16Oct 29, 2022Updated 3 years ago
- ☆31Oct 9, 2022Updated 3 years ago
- Streamlined template for getting started with Foundry, Solmate and Hardhat☆10Dec 31, 2021Updated 4 years ago
- An Isolated Safe Environment to Execute Foundry Projects.☆44Jul 22, 2022Updated 3 years ago
- Fuzzing solmate with medusa☆10Aug 14, 2023Updated 2 years ago
- Library for interacting with RMM protocol through ethers.js.☆15Feb 4, 2023Updated 3 years ago
- ☆13Jun 2, 2023Updated 2 years ago
- Identity Based Encryption schemes on the BLS12-381 pairing-friendly elliptic curve☆20Aug 31, 2021Updated 4 years ago
- ☆12Mar 20, 2024Updated 2 years ago
- eBurger is a static analysis tool that provides a way to quickly query and analyze solidity smart contracts.☆36Nov 22, 2025Updated 4 months ago
- Solidity, Vyper Contracts for EVM chains like Ethereum, Polygon, BSC, [helpful for EOSIO Developers]☆11Nov 28, 2025Updated 3 months ago
- Blog for Fleek xyz demos☆11Sep 11, 2023Updated 2 years ago
- Instructions to connect to Stride's mainnet☆66Dec 14, 2024Updated last year
- CLI tool to develop Starknet projects written in Cairo☆55Nov 30, 2023Updated 2 years ago
- Optimizor SQRT challenge solution☆26Nov 2, 2022Updated 3 years ago