leonardoalt / SolPrologV2Links
A Prolog engine written in Solidity.
☆16Updated 3 years ago
Alternatives and similar repositories for SolPrologV2
Users that are interested in SolPrologV2 are comparing it to the libraries listed below
Sorting:
- My playgrounderino for starkneterino☆13Updated 3 years ago
- ☆13Updated 2 years ago
- ☆14Updated 3 years ago
- DELEGATECALL-safe multi-owner auth☆12Updated 3 years ago
- Gas comparison between Remco Bloemen's and Mikhail Vladimirov's mulDiv implementations.☆18Updated 3 years ago
- Go library to access the blockchain state of Go-ethereum☆16Updated 2 years ago
- Morpho token contracts.☆14Updated 5 months ago
- Curta Challenge☆16Updated 2 years ago
- ☆18Updated 4 years ago
- a rust SDK for the gelato relay, using ethers-rs☆31Updated 2 years ago
- Library that implements Celo precompiles for Foundry tests☆11Updated 9 months ago
- Vote-escrowed SUSHI built on ERC-4626 vault standard.☆15Updated 3 years ago
- ☆15Updated 3 years ago
- ☆23Updated 3 years ago
- Implementation of a faucet in Huff with differential fuzzing vs solidity☆14Updated 2 years ago
- ☆13Updated 4 years ago
- Repository for Huff - an EVM programming language☆28Updated 5 years ago
- ☆11Updated 3 years ago
- Know if a call is from an EOA no matter what☆35Updated 3 years ago
- ☆12Updated 3 years ago
- ☆17Updated 3 years ago
- Use the EVM cache state to shim transient storage☆20Updated 2 years ago
- A naive bloom filter implementation in Cairo☆37Updated 3 years ago
- ☆14Updated 2 years ago
- ☆12Updated 3 years ago
- Ergonomic alternative to `approve`/`transferFrom` -- flash loans without external calls☆18Updated 3 years ago
- DRAI: Dollar-Pegged RAI☆13Updated last year
- Efficient beacon chain batch deposit contract written in huff☆22Updated last year
- ☆21Updated last year
- Update or revert to a specific DappTools commit with ease.☆37Updated 3 years ago