Awesome GitHub RepositoriesDeterministic Simulation Environments

This project serves as a comprehensive technical reference for the architecture and design of data-intensive applications. It provides a structured analysis of the fundamental principles required to build reliable, scalable, and maintainable software systems, covering the core trade-offs inherent in modern data infrastructure. The repository explores the mechanics of distributed data management, including strategies for replication, partitioning, and achieving consensus across multiple nodes. It details the design of storage engines, indexing techniques, and transaction management models, whi

Skyvern is an autonomous web navigation agent and browser-based workflow orchestrator that uses large language models to execute multi-step tasks on websites. By translating natural language instructions into actionable browser commands, the framework enables the automation of complex user workflows, including data extraction and interface interaction, without manual intervention. The platform distinguishes itself through a focus on secure, self-hosted infrastructure and stealth-oriented execution. It utilizes containerized browser isolation to maintain consistent environments and employs pro

Nautilus Trader is a high-performance algorithmic trading framework built in Rust, designed for the development, backtesting, and live execution of automated trading strategies. It provides a comprehensive platform for managing multi-asset portfolios and interacting with diverse financial markets through a standardized connectivity suite. The system is engineered to handle high-frequency data processing and complex order execution while maintaining precise numerical accuracy across various asset classes. The framework distinguishes itself through an architecture centered on deterministic even

Keploy is an automated testing platform that leverages kernel-level traffic interception to generate and maintain regression test suites for microservices. By capturing live network traffic and system calls via eBPF, the platform automatically creates deterministic test cases and mocks external dependencies without requiring manual code instrumentation. This approach allows developers to validate application behavior and API contracts by replaying production-like traffic in isolated environments. The platform distinguishes itself through its use of machine learning to perform test maintenance

FoundationDB is an ACID-compliant distributed transactional key-value store. It functions as a scalable database engine that ensures strict serializability and data consistency across a cluster of servers using a shared-nothing architecture. The system is distinguished by its multi-region replication capabilities, allowing data to be synchronized across different datacenters for high availability and disaster recovery. It utilizes optimistic concurrency control to manage distributed transactions and employs a majority-based coordination system to maintain cluster state. The platform provides

Bullet3 is a professional physics simulation engine designed for calculating rigid body, soft body, and collision dynamics within 3D environments and robotics applications. It functions as a computational framework for determining complex geometric intersections and contact manifolds between objects in simulated space. The library distinguishes itself through a distributed rendering framework that scales heavy graphical workloads and scene generation tasks across large clusters of machines. This capability enables the production of massive datasets by distributing complex scene generation acr

This project is a static analysis engine and type checker designed for PHP codebases. It evaluates source code structure and type annotations to identify potential bugs, type mismatches, and logic errors without executing the application. By parsing code into an abstract syntax tree and applying a rule-based validation framework, it enforces code quality and safety standards across a project. What distinguishes this tool is its sophisticated type inference engine, which models dynamic language features, magic methods, and conditional types to maintain accuracy even in unconventional code. It

LSPosed is an Android runtime hooking framework and system modification tool. It enables the modification of application and system behavior in memory without altering original installation files, serving as a platform for distributing and managing community-created extension modules. The project provides a comprehensive suite for device and identity spoofing, including the ability to mask hardware identifiers, simulate geographic locations, and conceal root access or hooking frameworks to bypass security and integrity checks. It also functions as an application modder to unlock premium featu

Locale-Emulator is an application compatibility layer designed to run software within specific regional and timezone environments. It functions as a regional environment simulator, allowing users to execute programs with custom locale settings to resolve compatibility issues often found in legacy software. The tool operates by intercepting system calls and redirecting requests for locale-specific information, such as character encoding and regional data. By utilizing a translation layer between Unicode and legacy character sets, it ensures that applications relying on older code pages can ren

Rector is an automated PHP refactoring and modernization tool designed to upgrade language versions and modernize syntax using predefined rules. It functions as a static analysis engine that inspects code structures and types to identify refactoring targets without executing the code. The project provides a framework for defining custom transformation logic to automate project-specific changes. It distinguishes itself by offering specialized capabilities for migrating legacy or custom frameworks to modern alternatives and converting docblock annotations into native language attributes. The s

Lab is a customizable 3D platform and research testbed designed for training and testing autonomous agents using reinforcement learning. It serves as a spatial AI training simulator where agents can be evaluated through navigation and puzzle-solving tasks. The environment allows for the definition of complex layouts and task behaviors through external scripting, enabling the generation of specific challenges for AI research. It supports both automated training via standard API bindings and manual agent control to validate simulation dynamics. The system utilizes a grid-based spatial represen

torchdiffeq este o bibliotecă PyTorch pentru rezolvarea ecuațiilor diferențiale ordinare (ODE), concepută pentru a rezolva probleme cu valori inițiale și pentru a construi framework-uri de tip neural ODE. Oferă un integrator ODE diferențiabil care permite modelelor de deep learning să simuleze profunzimea continuă prin integrarea funcțiilor dinamice în timp. Biblioteca dispune de un calculator de gradient bazat pe metoda adjunctă pentru backpropagation eficient din punct de vedere al memoriei. Prin rezolvarea unui sistem adjunct augmentat înapoi în timp, calculează gradienții parametrilor fără a stoca fiecare stare intermediară a solver-ului. Proiectul acoperă integrarea numerică cu solver-e adaptive și cu pas fix, încorporând controlul erorilor și interpolarea polinomială a stării. De asemenea, suportă gestionarea diferențiabilă a evenimentelor pentru a termina solver-ele atunci când funcții scalare specifice sunt declanșate și pentru a propaga gradienții prin timpul evenimentului. Framework-ul este utilizat pentru aplicații precum fluxuri de normalizare continuă și transformarea distribuțiilor de probabilitate prin ecuații diferențiale ordinare învățate în timp continuu.

Phan este un analizor static și un verificator de tipuri pentru PHP care identifică bug-uri și incompatibilități de tip fără a executa codul. Acesta servește ca o poartă de calitate pentru pipeline-urile de integrare continuă (CI) și un instrument pentru verificarea siguranței tipurilor, verificând în mod specific tipurile union, genericele și formele de array. Proiectul se distinge prin utilizarea unui daemon de fundal și a implementării Language Server Protocol (LSP), care oferă diagnosticare și navigare în timp real în editoare. De asemenea, dispune de un sistem de suprimare bazat pe baseline care permite dezvoltatorilor să înregistreze erorile existente într-un fișier snapshot pentru a se concentra exclusiv pe noile regresii. Motorul de analiză acoperă o gamă largă de capabilități, inclusiv detectarea codului mort, validarea compatibilității limbajului între diferite versiuni PHP și inferența tipurilor de variabile și template-uri. Suportă analiză extensibilă printr-un sistem de plugin-uri și oferă corecții automate de cod pentru un subset de probleme detectate. Utilizatorii pot iniția procesul prin generarea unui fișier de configurare cu niveluri de strictețe selectabile pentru a-și valida treptat baza de cod.

Rebound este un framework de mișcare și motor de fizică Java conceput pentru a crea mișcări fizice naturale în animațiile interfețelor utilizator. Acesta funcționează ca o bibliotecă de fizică a resorturilor care modelează forțele și oscilațiile pentru a genera tranziții fluide în interfață. Framework-ul implementează designul de mișcare interactivă prin simularea dinamicii resorturilor din lumea reală și a forțelor fizice, în loc să utilizeze tranziții liniare. Acest lucru permite crearea unei mișcări organice în aplicațiile Java. Motorul gestionează animația bazată pe fizică prin simulări cu resorturi, utilizând integrarea discretă a pașilor de timp și bucle de actualizare independente de frame-uri. Utilizează dinamici bazate pe parametri, cum ar fi rigiditatea și rapoartele de amortizare, alături de interpolarea mișcării bazată pe stare pentru a determina poziția elementelor UI.

This project is a cloud infrastructure simulator and system design educational tool. It provides a sandbox environment for designing virtual network topologies and testing the resilience of system architectures under high traffic and simulated attacks. The platform functions as an infrastructure resilience sandbox where users can experiment with the architectural placement of load balancers, caches, and databases. It allows for the validation of auto-scaling strategies, rate limiting, and firewall configurations to prevent service degradation. The simulator covers network traffic management,

cannon.js este un motor de fizică 3D JavaScript conceput pentru calcularea dinamicii corpurilor rigide și a coliziunilor în spațiul tridimensional. Acesta funcționează ca un motor de dinamică a corpurilor rigide care modelează masa, frecarea și viteza pentru a determina mișcarea obiectelor, oferind în același timp un framework matematic pentru aplicarea constrângerilor fizice și a articulațiilor. Motorul suportă o varietate de volume de coliziune, inclusiv sfere, cutii, poliedre convexe, heightfields pentru simularea terenului și mesh-uri triunghiulare complexe. Oferă instrumente pentru identificarea intersecțiilor dintre aceste forme și calcularea zonelor exacte de contact pentru interacțiunile fizice. Sistemul acoperă capabilități largi de simulare, inclusiv analiza geometrică pentru calcularea proprietăților mesh-ului, aplicarea constrângerilor fizice pentru a crea ansambluri mecanice și sincronizarea datelor de simulare fizică cu mesh-urile 3D externe pentru vizualizare.

ZIO is a functional effect system for the JVM that models asynchronous and concurrent programs as pure, composable values with typed error handling and dependency injection. Its core identity is built on fiber-based concurrency, where lightweight, non-blocking fibers execute millions of concurrent tasks with structured lifecycle management, and a dual-channel error model that separates expected business failures from unexpected system defects at compile time. The system provides effect-typed dependency injection through a layer-based dependency graph, pull-based reactive stream processing with

Huxley este un instrument de testare a regresiei vizuale și un framework de automatizare a browserului conceput pentru a detecta schimbările de interfață la nivel de pixel. Acesta funcționează ca un instrument automat de screenshot pentru browser care înregistrează interacțiunile utilizatorului și le redă pentru a verifica dacă interfețele web rămân vizual consistente după actualizări. Sistemul generează diferențe vizuale (visual diffs) prin compararea screenshot-urilor curente cu imaginile de bază stocate pentru a evidenția pixelii specifici care s-au schimbat. Include mecanisme pentru gestionarea acestor baze de referință, permițând utilizatorilor să actualizeze screenshot-urile de referință atunci când schimbările de interfață sunt intenționate. Framework-ul acoperă asigurarea calității frontend-ului și monitorizarea interfeței web. Aceasta include capacitatea de a configura medii de browser pentru randare deterministă și execuția testelor concurente pentru a procesa suitele vizuale.

Coffee-Physics is a lightweight physics engine designed for two-dimensional particle simulation within web environments. It provides a framework for managing the movement and physical interactions of individual objects across a coordinate system, utilizing a collection of mathematical functions to calculate trajectories and collision responses. The library employs Verlet-based integration to maintain stability by tracking coordinate history, avoiding the need for explicit velocity or acceleration variables. It enforces deterministic behavior through fixed-step time stepping, which ensures con