A tool to generate synthetic tests for the Solidity platform
☆28Mar 25, 2024Updated last year
Alternatives and similar repositories for syntest-solidity
Users that are interested in syntest-solidity are comparing it to the libraries listed below
Sorting:
- ☆18Sep 24, 2024Updated last year
- Extension to ERC721 for capital efficient NFT loans without default/collateral risk☆27Nov 23, 2021Updated 4 years ago
- Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses (ASE '21)☆157Nov 24, 2025Updated 3 months ago
- Solidity grammar for ANTLR4☆58Apr 18, 2025Updated 10 months ago
- Dynamic Vulnerability Discovery for Smart Contracts☆29Jul 12, 2023Updated 2 years ago
- ☆102Mar 24, 2022Updated 3 years ago
- Quickly open your favorite Web IDE to review the selected smart contract codebase☆29Apr 8, 2024Updated last year
- Open Authorization API (OAA) development libraries, connectors and resources.☆17Jan 9, 2025Updated last year
- eBurger is a static analysis tool that provides a way to quickly query and analyze solidity smart contracts.☆36Nov 22, 2025Updated 3 months ago
- Mutation Testing for Ethereum Smart Contracts☆206Nov 21, 2023Updated 2 years ago
- ☆30Dec 28, 2024Updated last year
- ☆11May 27, 2025Updated 9 months ago
- The Immutable Core SDK Golang provides convenient access to the Immutable APIs and Ethereum contract methods for applications integrating…☆10Jan 6, 2026Updated 2 months ago
- Bypass Medium paywalls on mobile. Paste or share a link to read instantly.☆30Feb 9, 2026Updated 3 weeks ago
- Ethereum Virtual Machine (EVM) Bytecode or Solidity Smart Contract static analysis tool based on symbolic execution☆82Feb 12, 2023Updated 3 years ago
- A public repo to hold some code review challenges for RSA Conference 2022☆11Jun 3, 2022Updated 3 years ago
- An AI agent with Daraja API intergration for completing Mpesa and data requests transactions☆11May 29, 2025Updated 9 months ago
- smart contracts deployed on Ethereum, one per skeleton☆11Mar 10, 2024Updated last year
- SLE course at University of Groningen☆10Jan 23, 2024Updated 2 years ago
- ☆15Sep 4, 2024Updated last year
- Contract for Smart Cars in the 0xmonaco challenge from Paradigm CTF 2022☆45Aug 22, 2022Updated 3 years ago
- ☆37Mar 26, 2021Updated 4 years ago
- An experimental Solidity parser for Python built on top of a robust ANTLR4 grammar 📚☆145Jun 24, 2024Updated last year
- Houses the code for the Lodestar Finance DeFi protocol.☆10Feb 7, 2025Updated last year
- A bonding curve factory for simple and easy dynamic bonding curve creation.☆10Jan 24, 2023Updated 3 years ago
- AST interpreter for Vyper with a custom EVM backend☆10Feb 28, 2026Updated last week
- Code 4rena Sandbox & Exploits☆14Mar 1, 2022Updated 4 years ago
- ☆11Apr 10, 2024Updated last year
- A tiny stack machine to learn Ethereum bytecode.☆12Dec 17, 2024Updated last year
- Motoko fuzzing library☆11Jun 1, 2025Updated 9 months ago
- Monitor and Control how Android Apps access your local storage. A great tool to investigate what files your apps put their eyes on.☆10Feb 5, 2024Updated 2 years ago
- An implementation of Oculus' firmware update services from the Oculus Quest 2 in nodejs. Features were reverse engineered from the offici…☆14Jan 7, 2022Updated 4 years ago
- ☆10Aug 9, 2023Updated 2 years ago
- An example of a GitHub Actions workflow showing how code scanning with CodeQL can be parallelized on monorepos.☆15Dec 14, 2022Updated 3 years ago
- WIP transpiler: EVM bytecode -> 🐍 IR -> EVM bytecode☆13Apr 27, 2025Updated 10 months ago
- 🥪 Uniswap v4 hook resistant to atomic sandwich attacks.☆12Sep 25, 2024Updated last year
- Simple script to bulk check if IPs match networks☆11Jan 11, 2022Updated 4 years ago
- A greybox fuzzer for continuous integration☆10Dec 15, 2023Updated 2 years ago
- Pool your ETH to save gas fees on creating PIES.☆12Jan 14, 2021Updated 5 years ago