Awesome GitHub RepositoriesPredicate-Based State Management

DVWA is a vulnerable web application sandbox and PHP security training environment. It serves as a deployable penetration testing target and an OWASP Top 10 lab designed for practicing exploits and simulating common web security vulnerabilities. The application allows users to adjust security difficulty levels to match their skill level and toggle between different SQL database engines to test how various systems handle injection attacks. It includes a mechanism to disable authentication, enabling automated security tools to interact directly with the environment. The project provides capabi

Opentui is a terminal user interface framework for building interactive command line applications. It provides a component-based system featuring a flexbox layout engine, a virtual node component tree, and a low-level 2D cell array renderer. The project is distinguished by a sophisticated keyboard binding engine that maps complex multi-stroke sequences and chords to named commands using prioritized, reactive layers. It also implements a plugin architecture that allows external modules to inject custom UI components into designated layout slots and extend input logic at runtime. Its capabilit

Unity MCP is a plugin that connects the Unity Editor to AI assistants through the Model Context Protocol, enabling natural language control over scene manipulation, object creation, and editor workflows. It allows developers to generate C# scripts, modify GameObjects and components, create UI layouts, and manage assets by issuing commands through an AI interface, effectively turning the editor into a conversational development environment. The plugin distinguishes itself through a comprehensive automation system that can execute multi-step tasks from a design document, record and replay edito

jscodeshift is a JavaScript AST transformation toolkit and codemod engine designed for large-scale code refactoring and structural migrations. It provides a set of utilities to parse source code into abstract syntax trees, programmatically modify those trees, and convert them back into source text. The tool distinguishes itself by preserving original source formatting and stylistic properties during the transformation process. It utilizes a builder for generating structurally valid AST nodes and integrates interchangeable parsing engines to support different language standards and experimenta

CodeQL is a semantic code analysis engine and vulnerability scanning tool that treats source code as data. It utilizes a static analysis query language to define complex patterns and security vulnerabilities within a code graph database. The system represents source code as a relational database, enabling the execution of structural queries and data flow analysis. This approach allows for the detection of security flaws and coding errors across large-scale repositories. The tool provides capabilities for automated code auditing, static analysis security testing, and custom vulnerability dete

Checkstyle is a Java static analysis tool and linter designed to identify and enforce coding standards and best practices. It functions as a code quality auditor and Javadoc validation tool, checking source code against configurable rulesets to ensure structural and stylistic consistency. The project allows for the creation of custom linting rules by extending a core API to inspect the abstract syntax tree. It further enables specialized validation through the use of XPath expressions to query the syntax tree for specific code patterns and violations. Capability areas include the enforcement

A/B Street is an open-source traffic simulation and urban planning tool that models how cars, bikes, and pedestrians move through real-world street networks. It imports data from OpenStreetMap to build detailed, lane-level road models, then runs discrete-event simulations to analyze travel times, delays, and congestion patterns across different infrastructure scenarios. The project provides an interactive map editor for modifying road geometry, lane configurations, traffic signals, and access restrictions, with full undo/redo support. Users can design low-traffic neighborhoods by placing moda

Rhai este un motor de scripting încorporat și un limbaj cu tipizare dinamică, conceput pentru integrarea în aplicații Rust. Acesta funcționează ca un compilator de arbore sintactic abstract (AST) și un strat de interop nativ, permițând dezvoltatorilor să mapeze tipuri și funcții Rust într-un mediu de scripting pentru comunicare bidirecțională. Proiectul servește drept framework pentru crearea de limbaje specifice domeniului (DSL) personalizabile. Permite definirea de operatori, sintaxă și medii de execuție restricționate, facilitând crearea de limbaje specializate cu seturi funcționale adaptate. Motorul acoperă o gamă largă de capabilități, inclusiv sandboxing cu resurse limitate pentru execuție securizată, organizare modulară a codului și procesare cuprinzătoare de date pentru tipuri numerice, string-uri și binare. Oferă, de asemenea, instrumente pentru manipularea AST, serializarea stării de execuție și observabilitate la runtime prin inspectarea stivei de apeluri și interfețe de debugging. Motorul este conceput pentru deployment cross-platform pe orice CPU sau sistem de operare suportat de compilatorul nativ.

Quasar este un framework de concurență pentru JVM care implementează modelul actor și o bibliotecă de thread-uri lightweight. Oferă unități de execuție izolate care comunică prin mesagerie asincronă pentru a elimina starea mutabilă partajată. Proiectul se distinge printr-un sistem de actori distribuit capabil să opereze pe mai multe noduri de cluster cu registre transparente din punct de vedere al locației și migrarea stării actorilor. Utilizează un scheduler de tip „work-stealing fiber” pentru a gestiona milioane de thread-uri lightweight, permițând sarcinilor să se suspende în timpul operațiunilor I/O non-blocante fără a bloca thread-urile de sistem subiacente. Framework-ul cuprinde un set larg de capabilități, inclusiv ierarhii de supraveghere pentru recuperare tolerantă la erori și canale de comunicare de tip CSP pentru sincronizarea fluxului de date. De asemenea, oferă primitive pentru coordonarea sarcinilor prin futures și variabile de flux de date, precum și instrumente pentru monitorizarea stării fibrelor și detectarea execuțiilor necontrolate. Sistemul este implementat în Java.

TypeDB este o bază de date graf și un sistem de gestionare a cunoștințelor (knowledge graph) puternic tipizat. Servește ca un magazin de date multi-model care unifică structurile relaționale, document și graf într-un singur mediu, funcționând atât ca o bază de date conformă ACID, cât și ca un motor de interogare declarativ. Sistemul se distinge prin utilizarea modelării n-ary hypergraph și a ierarhiilor de tip polimorfice. Utilizează o schemă puternic tipizată pentru a impune reguli structurale și a valida integritatea datelor, permițând inferența polimorfică bazată pe tip și polimorfismul de interfață bazat pe roluri pentru a rezolva automat relațiile complexe în timpul execuției interogărilor. Platforma acoperă o gamă largă de capabilități, inclusiv calcularea relațiilor recursive prin tabling, tranzacții cu izolare de snapshot și regăsirea declarativă a datelor. De asemenea, suportă disponibilitatea ridicată prin replicarea clusterelor bazată pe consens, controlul accesului bazat pe roluri și integrarea cu agenți AI pentru regăsirea datelor structurate. Gestionarea este susținută printr-o interfață de linie de comandă, iar sistemul oferă instrumente pentru vizualizarea schemelor graf și auditarea activității administrative.