hats-finance / gamesView external linksLinks
☆37May 3, 2022Updated 3 years ago
Alternatives and similar repositories for games
Users that are interested in games are comparing it to the libraries listed below
Sorting:
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Jun 4, 2024Updated last year
- Just testing, nothing to see here.☆13Mar 17, 2022Updated 3 years ago
- Audits for sudoswap contracts☆29Jul 21, 2022Updated 3 years ago
- EthernautDAO reputation system☆13Jun 1, 2022Updated 3 years ago
- ☆18Aug 31, 2022Updated 3 years ago
- Private Prediction Market for Starknet☆21May 16, 2022Updated 3 years ago
- Zen is a token trading protocol for transferring NFTs P2P.☆15Sep 7, 2022Updated 3 years ago
- My version of a clone factory with immutable args WIP!☆18May 7, 2022Updated 3 years ago
- foundry-x-chainlink☆32Mar 17, 2022Updated 3 years ago
- Produce probabilities for economy-based environments.☆11Sep 10, 2022Updated 3 years ago
- ☆10May 7, 2022Updated 3 years ago
- ☆14Feb 16, 2021Updated 5 years ago
- Using Dynamic Huffidity to embed MiMCSponge Hash bytecode by tornado cash to a solidity contract.☆10Sep 8, 2023Updated 2 years ago
- This is my solution. If you think you can further optimize it - be my guest!☆22Oct 8, 2022Updated 3 years ago
- Minimal ethers-rs wrappers for the Alchemy API built in pure Rust.☆25Aug 11, 2023Updated 2 years ago
- ERC20.⛳☆20May 4, 2022Updated 3 years ago
- Extensive Tests with the Forge Standard Library,☆20Apr 19, 2022Updated 3 years ago
- ☆37Jan 7, 2022Updated 4 years ago
- Solidity 0.8.X AST parsing and analysis in Rust.☆78Oct 9, 2023Updated 2 years ago
- It provides helper functions to test the maple-core contracts.☆25Jan 27, 2023Updated 3 years ago
- ☆37Jun 14, 2022Updated 3 years ago
- Example code for testing using Echidna explained during the Spearbit presentation☆40Jul 6, 2022Updated 3 years ago
- A Hardhat plugin that uses Warp to bring Solidity contracts to StarkNet☆19Jun 20, 2025Updated 7 months ago
- [Optimism] Plugins!☆16Apr 9, 2021Updated 4 years ago
- A pure-std Rust computation graph library☆15Jun 3, 2021Updated 4 years ago
- ☆40Jun 2, 2020Updated 5 years ago
- Smart contract that checks if the SELFDESTRUCT opcode is still valid on the chain it is deployed to☆29Oct 19, 2022Updated 3 years ago
- ☆28Aug 23, 2022Updated 3 years ago
- Scans the internet for open geth RPC clients☆25Jul 2, 2017Updated 8 years ago
- Rolling Liquidity Vault: an ERC4626 compliant vault, passive liquidity vault built atop Sense Space Pools☆28Jul 27, 2023Updated 2 years ago
- ☆24Apr 16, 2022Updated 3 years ago
- Core smart contracts for Brink accounts☆13Oct 7, 2023Updated 2 years ago
- ☆14Apr 11, 2023Updated 2 years ago
- Simple m-of-n multisig proxy written in handcrafted EVM bytcode☆21Sep 5, 2017Updated 8 years ago
- GitHub Action to run Echidna, the Ethereum smart contract fuzzer☆63Feb 29, 2024Updated last year
- SUPERCEDED by ricobank/multifab☆20Jul 13, 2022Updated 3 years ago
- NFT Future protocol☆59Apr 3, 2023Updated 2 years ago
- This is a solidity implementation of extremely efficient approximations for PI☆28May 13, 2022Updated 3 years ago
- Rust Primitives, Learnings, & Frameworks☆17Mar 29, 2022Updated 3 years ago