Everything related to practica profesional
☆12Aug 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
Sorting:
- LLM for solidity smart contract automated program repair☆18Mar 5, 2025Updated 11 months ago
- Minimal Viable Gator 🐊☆15Feb 28, 2025Updated last year
- Evaluation Results for the Paper "EVMPatch: Timely and Automated Patching of Ethereum Smart Contracts"☆13May 28, 2021Updated 4 years ago
- ☆17Jan 23, 2024Updated 2 years ago
- Efficient APR with LLMs http://arxiv.org/pdf/2402.06598☆16May 28, 2024Updated last year
- A chrestomathy of smart contracts in different smart contract languages☆30Jan 4, 2026Updated 2 months ago
- Dynamic Vulnerability Discovery for Smart Contracts☆29Jul 12, 2023Updated 2 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
- ☆61Jul 6, 2022Updated 3 years ago
- ☆64Jan 4, 2023Updated 3 years ago
- SolidiFI is an automated and systematic framework for evaluating smart contracts' static analysis tools via Bug Injection☆82Feb 3, 2024Updated 2 years ago
- ☆125Feb 14, 2026Updated 2 weeks ago
- A curated list of awesome smart contract analysis tools☆126Mar 30, 2024Updated last year
- A comparison of solidity fuzzing tools Foundry, Echidna & Medusa☆185Feb 1, 2025Updated last year
- Listado de API's Públicas para distintos tipos de servicios digitales nacionales☆946Dec 31, 2025Updated 2 months ago
- 🍋 An open dataset containing smart contract audit issues from various sources.☆235Mar 21, 2024Updated last year
- Companion extension for linkding☆263Oct 4, 2025Updated 5 months ago
- Practical tutorials of Certora Prover☆241Sep 27, 2023Updated 2 years ago
- The Auditor Book☆233Nov 17, 2023Updated 2 years ago
- The Web3 Security Resources Hub is a comprehensive collection of curated tools, guides, and best practices for securing decentralized sys…☆375May 27, 2025Updated 9 months ago
- Roadmap to become a system design and architecture master☆448Jul 11, 2024Updated last year
- A curated list of useful resources related to User Interface Design☆584Dec 1, 2022Updated 3 years ago
- Academic Smart Contract Papers. Welcome developers or researchers to add more published papers to this list.☆619Updated this week
- The best RSS Search experience you can find☆621Jan 19, 2023Updated 3 years ago
- A minimal starpage for Chrome and Firefox☆668Feb 20, 2023Updated 3 years ago
- App that helps you spend money wisely for Android made with Jetpack Compose☆789Aug 24, 2025Updated 6 months ago
- 🚀 100+ mini-projects demonstrating the power of concise code. Perfect for learning, portfolio building, and first-time open source contr…☆753Updated this week
- A personal feed reader☆941Nov 2, 2025Updated 4 months ago
- The Common Lisp Cookbook☆1,049Feb 25, 2026Updated last week
- roadmap to becoming a graphics developer☆1,259Jul 18, 2025Updated 7 months ago
- A minimalistic opinionated Mastodon web client☆1,416Feb 25, 2026Updated last week
- A chronological and (hopefully) complete list of reentrancy attacks to date.☆1,592Nov 24, 2025Updated 3 months ago
- 🐦🌴🌴🌴🦕 A home for ethereum smart contracts. 🏠☆1,591Jun 28, 2024Updated last year
- Hyperparameter Experiments with TensorFlow and Keras☆1,638Apr 22, 2024Updated last year
- The superior project management solution for neovim.☆1,594Aug 12, 2024Updated last year
- A task runner and job management plugin for Neovim☆1,826Feb 24, 2026Updated last week