Everything related to practica profesional
☆13Aug 18, 2021Updated 4 years ago
Alternatives and similar repositories for PracticaProfesional
Users that are interested in PracticaProfesional are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Evaluation Results for the Paper "EVMPatch: Timely and Automated Patching of Ethereum Smart Contracts"☆13May 28, 2021Updated 4 years ago
- The Earth is flat but Solidity source code is not. This fixes that.☆19Apr 8, 2019Updated 6 years ago
- Minimal Viable Gator 🐊☆15Feb 28, 2025Updated last year
- ☆17Jan 23, 2024Updated 2 years ago
- MAIAN: automatic tool for finding trace vulnerabilities in Ethereum smart contracts☆16Mar 1, 2022Updated 4 years ago
- A community-curated list of one-liners in Ruby☆14Oct 19, 2015Updated 10 years ago
- A project to automatically generate program repair recommendation in the field of smart contracts for given code snippets with their cont…☆16Aug 30, 2025Updated 6 months ago
- A MAL language that demonstrates the Maven project structure☆23Feb 27, 2026Updated 3 weeks ago
- Outline of the Agile Artificial Intelligence book☆23Jan 26, 2020Updated 6 years ago
- Efficient APR with LLMs http://arxiv.org/pdf/2402.06598☆16May 28, 2024Updated last year
- ☆26Nov 2, 2025Updated 4 months ago
- Subset of public audit reports issued by ChainSecurity. For more, please visit:☆29Nov 4, 2023Updated 2 years ago
- Dynamic Vulnerability Discovery for Smart Contracts☆29Jul 12, 2023Updated 2 years ago
- Refazer: Learning Program Transformations from Examples☆30Mar 25, 2018Updated 7 years ago
- ☆25Jun 21, 2022Updated 3 years ago
- A benchmark suite for evaluating the precision of EVM code analysis tools.☆42Aug 31, 2018Updated 7 years ago
- An Extensible Java Bug Benchmark for Automatic Program Repair Studies☆38Mar 4, 2024Updated 2 years ago
- HuangGai is an Ethereum smart contract bug injection framework, it can inject 20 types of bugs into Solidity smart contract. DOI: 10.5281…☆44Dec 15, 2021Updated 4 years ago
- A unified smart contract standard data set.☆46Aug 23, 2021Updated 4 years ago
- ☆64Jan 4, 2023Updated 3 years ago
- ☆61Jul 6, 2022Updated 3 years ago
- A Tool for clone detection and bug detection in smart contracts☆106May 13, 2023Updated 2 years ago
- ☆125Feb 14, 2026Updated last month
- Solidity grammar for tree sitter☆184Feb 11, 2026Updated last month
- Your plan for improving personal life and workflow☆135Jul 4, 2024Updated last year
- A comparison of solidity fuzzing tools Foundry, Echidna & Medusa☆187Feb 1, 2025Updated last year
- 🍋 An open dataset containing smart contract audit issues from various sources.☆236Mar 21, 2024Updated 2 years ago
- Practical tutorials of Certora Prover☆242Sep 27, 2023Updated 2 years ago
- The Auditor Book☆233Nov 17, 2023Updated 2 years ago
- The Solidity mocking library☆321May 20, 2025Updated 10 months ago
- The ultimate task management solution for seamless organization and efficiency.☆281Apr 19, 2024Updated last year
- Extract Collaborator Objects from your Active Records, a new concept called Associated Objects☆360Jan 1, 2026Updated 2 months ago
- Ruby framework for keeping all types of notifications (mailers, push notifications, whatever) in one place☆652Aug 20, 2025Updated 7 months ago
- The best RSS Search experience you can find☆620Jan 19, 2023Updated 3 years ago
- Securify v2.0☆630May 25, 2025Updated 9 months ago
- ⚡VJ / Live Coding on Atom⚡☆529Sep 3, 2022Updated 3 years ago
- Academic Smart Contract Papers. Welcome developers or researchers to add more published papers to this list.☆624Mar 15, 2026Updated last week
- Roadmap to become a system design and architecture master☆451Jul 11, 2024Updated last year
- SmartBugs: A Framework to Analyze Ethereum Smart Contracts☆663Updated this week