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