just solve it - a CLI utility to run a portfolio of SMT solvers in parallel
☆26Jan 14, 2026Updated last month
Alternatives and similar repositories for jsi
Users that are interested in jsi are comparing it to the libraries listed below
Sorting:
- ☆35Jul 4, 2025Updated 7 months 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
- Curta CTF #12☆20Oct 13, 2023Updated 2 years ago
- D2PFuzz, Fuzzer tool for analyze devp2p protocol☆17Oct 19, 2025Updated 4 months ago
- Coypu is an open source static analyzer that competes on Code4rena Bot Races. Prizes are held on a community multisig and split amongst a…☆11Sep 4, 2023Updated 2 years ago
- Arbitrium stack tracer☆14Oct 16, 2022Updated 3 years ago
- Extension to Scaffold, Run and Debug Invariant Tests with Echidna, Medusa, Halmos and Foundry. Always published under Recon-Fuzz. Recomme…☆33Feb 11, 2026Updated 2 weeks ago
- A fork of the Kissat SAT solver with additional features. Supports incremental solving.☆17Aug 13, 2022Updated 3 years ago
- A Prolog engine written in Solidity.☆16Feb 19, 2022Updated 4 years ago
- ☆35Jul 28, 2025Updated 7 months ago
- Comparing gas measurements from Forge, Hardhat, Tevm and forge-gas-metering against testnet transactions.☆16Feb 28, 2024Updated 2 years ago
- ☆18Jun 30, 2024Updated last year
- Yultsur is a Rust implementation of Yul.☆23Jul 2, 2021Updated 4 years ago
- Pre-built security properties for commonly forked DeFi protocols☆196Nov 7, 2023Updated 2 years ago
- Testing echidna vs. forge fuzzing☆77Dec 20, 2022Updated 3 years ago
- Solidity Library for BLS over the alt-bn128 curve☆16Nov 5, 2024Updated last year
- General purpose unopinionated Solidity fuzzing library for stateful and stateless fuzzing☆59Jan 18, 2026Updated last month
- A publicly-modifiable registry of ilks in the Dai Stablecoin System.☆22Mar 7, 2023Updated 2 years ago
- How to query a Cosmos chain at historical block heights in Rust, Go, JS, and Bash☆20Dec 17, 2023Updated 2 years ago
- Symbolic Execution Benchmarks for Ethereum Smart Contracts☆22Aug 22, 2024Updated last year
- Interpreter and compiler for the ISA specification language "Architecture Specification Language" (ASL)☆28Sep 8, 2025Updated 5 months ago
- Evaluating fuzzer effectiveness☆20Sep 16, 2023Updated 2 years ago
- efficient libraries for working with min-heaps in solidity☆23Jun 12, 2023Updated 2 years ago
- ☆103Nov 25, 2025Updated 3 months ago
- ☆28Jan 1, 2025Updated last year
- A collection of practical security-focused guides and checklists for Morpho smart contract development.☆26Apr 17, 2023Updated 2 years ago
- Efficient Sampling of SAT Solutions for Testing☆35Sep 20, 2019Updated 6 years ago
- Macros + Primitives for PADE format☆29Jul 26, 2025Updated 7 months ago
- Wrappers for existing Flash Lenders to be accessible as ERC7399 Flash Lenders☆30Jun 13, 2025Updated 8 months ago
- Python wrapper around https://github.com/bluealloy/revm/ using PyO3☆184Jan 28, 2026Updated last month
- Repository gathering useful libraries and contracts.☆64Aug 13, 2023Updated 2 years ago
- A blitz project to try to mint an onchain NFT in the last ever POW block and first ever POS block.☆30Sep 14, 2022Updated 3 years ago
- JSON-RPC endpoint proxy that dumps requests/responses for debugging☆30Aug 23, 2023Updated 2 years ago
- Solidity Function Selector Miner (AVX2 + Multithreaded)☆73Jan 23, 2024Updated 2 years ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Jun 8, 2021Updated 4 years ago
- A markdown based template for writing spearbit reports☆68Mar 18, 2022Updated 3 years ago
- Experimental tool to ease the review of smart contracts upgrades☆79Mar 25, 2024Updated last year
- Solidity By Example rewritten in Huff, the most based low-level EVM language.☆34Feb 21, 2024Updated 2 years ago
- 🔬 An opinionated formatting and linting tool for foundry projects☆83Updated this week