syntest-framework / syntest-solidityView external linksLinks
A tool to generate synthetic tests for the Solidity platform
☆29Mar 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:
- ☆19Sep 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 2 months ago
- Solidity grammar for ANTLR4☆58Apr 18, 2025Updated 9 months ago
- Quickly open your favorite Web IDE to review the selected smart contract codebase☆29Apr 8, 2024Updated last year
- eBurger is a static analysis tool that provides a way to quickly query and analyze solidity smart contracts.☆37Nov 22, 2025Updated 2 months ago
- Mutation Testing for Ethereum Smart Contracts☆206Nov 21, 2023Updated 2 years ago
- ☆30Dec 28, 2024Updated last year
- Bypass Medium paywalls on mobile. Paste or share a link to read instantly.☆31Oct 28, 2025Updated 3 months ago
- ☆16Sep 4, 2024Updated last year
- The Immutable Core SDK Golang provides convenient access to the Immutable APIs and Ethereum contract methods for applications integrating…☆10Jan 6, 2026Updated last month
- ☆11May 27, 2025Updated 8 months ago
- Contract for Smart Cars in the 0xmonaco challenge from Paradigm CTF 2022☆44Aug 22, 2022Updated 3 years ago
- An AI agent with Daraja API intergration for completing Mpesa and data requests transactions☆12May 29, 2025Updated 8 months ago
- A public repo to hold some code review challenges for RSA Conference 2022☆11Jun 3, 2022Updated 3 years ago
- Smart Contract Security Vulnerability Detection Method based on Target-guided Symbolic Execution☆13Jul 24, 2022Updated 3 years ago
- SLE course at University of Groningen☆10Jan 23, 2024Updated 2 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
- ☆11Apr 13, 2022Updated 3 years ago
- Pet dapp☆10Dec 16, 2020Updated 5 years ago
- Houses the code for the Lodestar Finance DeFi protocol.☆10Feb 7, 2025Updated last year
- Exercises for the Dafny Tutorial☆14May 21, 2018Updated 7 years ago
- Pool your ETH to save gas fees on creating PIES.☆12Jan 14, 2021Updated 5 years ago
- Latest version of evilginx2 with Gophish + Telegram modification☆11Nov 17, 2024Updated last year
- Flash swap implementations for liquidating underwater accounts in Hifi☆11Aug 9, 2021Updated 4 years ago
- WIP transpiler: EVM bytecode -> 🐍 IR -> EVM bytecode☆13Apr 27, 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.☆11Feb 5, 2024Updated 2 years ago
- ☆13Jul 25, 2023Updated 2 years ago
- ☆13Dec 3, 2022Updated 3 years ago
- Code 4rena Sandbox & Exploits☆14Mar 1, 2022Updated 3 years ago
- ChatGPT terminal assistant with a good memory to be used in ethical hacking, offensive cybersecurity and red teaming. **Warning:** These …☆10Mar 20, 2024Updated last year
- ☆11Apr 10, 2024Updated last year
- A bonding curve factory for simple and easy dynamic bonding curve creation.☆10Jan 24, 2023Updated 3 years ago
- Monaco editor about SQL with auto completion☆10May 11, 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
- ☆15Dec 8, 2023Updated 2 years ago
- Motoko fuzzing library☆11Jun 1, 2025Updated 8 months ago
- ☆10Aug 9, 2023Updated 2 years ago