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:
- Experimental repo of rendering portals and seamless teleporting in goldsource☆20Aug 10, 2023Updated 2 years ago
- The Earth is flat but Solidity source code is not. This fixes that.☆19Apr 8, 2019Updated 7 years ago
- Minimal Viable Gator 🐊☆16Feb 28, 2025Updated last year
- ☆17Jan 23, 2024Updated 2 years ago
- Outline of the Agile Artificial Intelligence book☆23Jan 26, 2020Updated 6 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Efficient APR with LLMs http://arxiv.org/pdf/2402.06598☆16May 28, 2024Updated last year
- Subset of public audit reports issued by ChainSecurity. For more, please visit:☆29Nov 4, 2023Updated 2 years ago
- A chrestomathy of smart contracts in different smart contract languages☆31Updated this week
- ☆31Dec 11, 2022Updated 3 years ago
- Espial is an open-source, web-based bookmarking server.☆40May 1, 2022Updated 4 years ago
- A unified smart contract standard data set.☆46Aug 23, 2021Updated 4 years ago
- Tool to automate guitar playing using midi files.☆98Nov 10, 2024Updated last year
- ☆127Apr 22, 2026Updated last week
- A curated list of awesome smart contract analysis tools☆127Mar 30, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Solidity grammar for tree sitter☆185Feb 11, 2026Updated 2 months ago
- Forum app built in React, Redux & Django☆251Dec 8, 2022Updated 3 years ago
- 🍋 An open dataset containing smart contract audit issues from various sources.☆237Mar 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 11 months ago
- The Web3 Security Resources Hub is a comprehensive collection of curated tools, guides, and best practices for securing decentralized sys…☆394May 27, 2025Updated 11 months ago
- FastAPI Tutorials & Deployment Methods to Cloud and on-prem infrastructures☆382Mar 29, 2024Updated 2 years ago
- Academic Smart Contract Papers. Welcome developers or researchers to add more published papers to this list.☆633Apr 25, 2026Updated last week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- SmartBugs: A Framework to Analyze Ethereum Smart Contracts☆669Apr 20, 2026Updated 2 weeks ago
- [Course] Code for Introduction to Node.js☆374Mar 1, 2024Updated 2 years ago
- Custom homepage for use locally in browser☆540Jul 22, 2024Updated last year
- Espial is an open-source, web-based bookmarking server.☆886Apr 24, 2026Updated last week
- A list of Lisp-flavored programming languages☆860Apr 24, 2026Updated last week
- A minimal starpage for Chrome and Firefox☆669Feb 20, 2023Updated 3 years ago
- easily interact with tmux from vim☆2,275Feb 27, 2026Updated 2 months ago
- Ideas for things to program☆1,588Feb 26, 2026Updated 2 months ago
- 🚀 100+ mini-projects demonstrating the power of concise code. Perfect for learning, portfolio building, and first-time open source contr…☆776Apr 27, 2026Updated last week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A small automated session manager for Neovim☆1,813Apr 15, 2026Updated 2 weeks ago
- A task runner and job management plugin for Neovim☆1,875Apr 1, 2026Updated last month
- A very fast, powerful, extensible and asynchronous Neovim HTTP client written in Lua.☆2,018Dec 27, 2025Updated 4 months ago
- Run Async Shell Commands in Vim 8.0 / NeoVim and Output to the Quickfix Window !!☆1,906Nov 20, 2025Updated 5 months ago
- The 2013 edition of the Source SDK☆9,747Mar 30, 2026Updated last month
- 🐦🌴🌴🌴🦕 A home for ethereum smart contracts. 🏠☆1,591Jun 28, 2024Updated last year
- One dark and light colorscheme for neovim >= 0.5.0 written in lua based on Atom's One Dark and Light theme. Additionally, it comes with 5…☆1,969Apr 13, 2026Updated 3 weeks ago