Awesome GitHub RepositoriesOptimization & Solvers

This project is a comprehensive, community-driven directory of software resources, libraries, and frameworks for the Java programming language. It serves as a centralized knowledge base designed to help developers discover tools and industry-standard solutions for building and maintaining software applications. The repository distinguishes itself through a hierarchical taxonomy that organizes a vast array of technical components into a structured, navigable tree. By relying on distributed peer contributions, the index remains a living resource that reflects current community-recommended pract

DeepSpeed is a high-performance library designed to scale deep learning model training and inference across massive clusters of GPUs and compute nodes. It provides a comprehensive suite of tools for distributed training, enabling the execution of models that exceed the memory capacity of single devices through advanced parameter partitioning, pipeline-based model parallelism, and memory-efficient state offloading. The framework distinguishes itself through specialized communication-efficient optimizers and hardware-aware acceleration techniques. By utilizing gradient compression, quantization

This project is a comprehensive Chinese translation of a technical deep learning textbook, providing an educational resource on the theory and implementation of neural networks. It functions as a collaborative technical translation project designed to make complex academic AI literature accessible to non-English speakers. The project utilizes a community-driven translation model that integrates external suggestions and pull requests to refine linguistic accuracy and reduce bias. It employs standardized terminology mapping to ensure a uniform vocabulary throughout the translated content. To i

PythonRobotics ist eine umfassende Sammlung modularer Robotik-Algorithmen und pädagogischer Simulationen für autonome Navigation, Zustandsschätzung und Bewegungssteuerung. Das Projekt bietet eine Bibliothek eigenständiger Implementierungen für Pfadplanung, Lokalisierung, Kartierung und Kinematik und dient Forschern und Studenten als Ressource zum Experimentieren mit grundlegenden und fortgeschrittenen Robotik-Theorien. Das Projekt zeichnet sich durch ein algorithmuszentriertes Design aus, bei dem jedes Modul als isoliertes Skript fungiert, was unabhängiges Testen und eine klare pädagogische Demonstration ermöglicht. Jede Implementierung ist explizit mit akademischer Literatur oder grundlegenden Robotik-Lehrbüchern verknüpft, wodurch sichergestellt wird, dass die mathematischen Modelle und Steuerungsstrategien überprüfbar und präzise bleiben. Benutzer können diese Szenarien in einer entkoppelten Simulationsumgebung ausführen, die ihren eigenen internen Zustand und ihre eigenen Regelschleifen beibehält und keine externen Abhängigkeiten erfordert. Das Funktionsspektrum deckt eine breite Palette von Robotik-Domänen ab, einschließlich Luftnavigation, zweibeiniger Fortbewegung und der Steuerung von Mehrgelenkarmen. Es bietet umfangreiche Toolkits für probabilistische Sensorfusion, Umgebungskartierung und Trajektorienverfolgung, die alle durch leistungsstarke numerische Berechnungen unterstützt werden. Geometrische Echtzeit-Animationen und Zustandsschätzungen werden unter Verwendung von Standard-Plotting-Bibliotheken direkt aus Simulationsdaten gerendert.

FinceptTerminal is a quantitative finance platform and financial engineering library designed for asset valuation, risk management, and fixed-income analytics. It provides a comprehensive suite for algorithmic trading and investment strategy automation, integrating specialized language model agents and node-based workflows to automate market research and alpha generation. The project distinguishes itself with a dedicated game theory analysis engine for calculating Nash equilibria and simulating strategic interactions in competitive markets. It also features a specialized credit risk modeling

WaveFunctionCollapse is a procedural generation engine that creates complex, non-repeating patterns by treating spatial arrangement as a constraint satisfaction problem. It functions as a stochastic solver that derives output structures from a single input example, ensuring that every element placed within a grid satisfies specific adjacency requirements relative to its neighbors. The system distinguishes itself by using an entropy-driven approach to grid collapse, where it iteratively selects the cell with the fewest remaining possibilities to trigger a cascade of logical updates. By decompo

Matter-js is a 2D rigid body physics engine written in JavaScript for simulating realistic physical interactions, collisions, and dynamics in web browsers. It functions as a web physics simulation library that calculates motion, gravity, and constraints for objects rendered on a web canvas. The library includes a built-in canvas physics visualizer to draw physical bodies, joints, and constraints for debugging and gameplay. It distinguishes itself through a plugin system that supports recursive dependency resolution and internal method patching to inject custom logic into the engine's executio

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

MuJoCo is a physics simulation engine designed for the dynamics of multi-joint articulated structures. It provides a computational framework for calculating the forces, velocities, and physical interactions of complex models within a virtual environment, supporting research in robotics, biomechanics, and machine learning. The engine utilizes a constraint-based dynamics solver and recursive algorithms to manage the motion of articulated systems. It includes a native graphical interface for real-time visualization, allowing users to inspect physical behaviors and contact dynamics as they occur.

OR-Tools is a software suite for combinatorial optimization, constraint programming, and mathematical modeling. It provides a framework for defining complex problems involving variables and logical constraints, enabling the systematic search for feasible or optimal solutions. The project features a high-performance core engine written in C++ that utilizes branch and bound search and local search metaheuristics to navigate large solution spaces. A language-agnostic wrapper layer allows these optimization capabilities to be accessed through idiomatic interfaces in multiple high-level programmin

Z3 is an automated theorem prover and satisfiability modulo theories solver designed to determine the validity of complex logical formulas. It functions as a formal verification framework, enabling the systematic checking of hardware and software system specifications against defined logical constraints to identify inconsistencies or design flaws. The engine distinguishes itself through a combination of theory-specific decision procedures and symbolic execution capabilities. It employs conflict-driven clause learning and backtracking search algorithms to prune search spaces, while maintaining

Statsmodels is a comprehensive Python library designed for statistical modeling, econometric research, and data analysis. It provides a robust framework for estimating and diagnosing a wide range of statistical models, enabling users to perform rigorous hypothesis testing, regression analysis, and complex data exploration within structured environments. The library distinguishes itself through its support for advanced statistical methodologies, including state space representation for dynamic systems and generalized linear frameworks that accommodate non-normal response variables. It offers s

This project is a comprehensive library for numerical linear algebra and scientific computing, designed to provide optimized routines for matrix decomposition, statistical modeling, and high-performance data analysis. It serves as both a toolkit for solving complex linear systems and an educational resource for understanding the fundamental algorithms behind matrix factorizations and numerical solvers. The library distinguishes itself through a focus on randomized numerical linear algebra, utilizing probabilistic algorithms and approximate methods to perform dimensionality reduction and matri

Box2D is a 2D physics engine and rigid body simulator designed to compute collisions, forces, and joints in a two-dimensional plane. It functions as a collision detection library and a constraint-based physics solver that calculates the movement and interaction of solid objects using mass, friction, and restitution properties. The engine ensures consistency across different hardware architectures through a deterministic trigonometry implementation. It prevents high-speed objects from passing through boundaries using continuous collision detection and time-of-impact interpolation. The system

This project is a collection of reference implementations for algorithms, mathematics, cryptography, compression, and machine learning written in C#. It serves as an educational library providing standard implementations of sorting, searching, and graph theory algorithms. The repository covers a wide range of computational domains, including combinatorial optimization for constraint satisfaction and scheduling, as well as symmetric and classical cryptographic ciphers. It also provides reference code for lossless data compression techniques and fundamental machine learning primitives such as r

go-datastructures is a collection of thread-safe and lock-free data structures designed for high-performance concurrent applications in Go. It provides a modular library of specialized algorithmic toolsets, including a lock-free collection library and an immutable data structure library. The project distinguishes itself through a suite of persistent AVL trees and hash array mapped tries that use branch-copying to preserve previous versions. It also implements non-blocking hash maps, queues, and tries that enable linearizable snapshots and concurrent updates without the use of mutual exclusion

scikit-opt is a Python optimization library and numerical framework designed to solve complex global optimization problems. It provides a suite of metaheuristic algorithms and tools for finding global minima or maxima of objective functions. The library implements a variety of nature-inspired and swarm intelligence algorithms, including Genetic Algorithms, Particle Swarm Optimization, Differential Evolution, Simulated Annealing, and Ant Colony Optimization. It includes specialized solvers for discrete combinatorial challenges, such as the Traveling Salesman Problem. The framework supports th

CVXPY is a Python-embedded domain-specific language for modeling and solving convex optimization problems using natural mathematical syntax. It is built on a disciplined convex programming framework that automatically enforces convexity rules, ensuring that problems formulated by the user are valid for convex solvers. The project also functions as a multi-solver optimization interface, abstracting away backend details and dispatching problems to specialized solvers like ECOS, SCS, and Gurobi without manual configuration. Beyond standard convex optimization, CVXPY extends its reach to geometri

Rapier ist eine plattformübergreifende Physik-Engine und ein Rigid-Body-Dynamics-Solver für 2D- und 3D-Simulationen. Er fungiert als Kollisionserkennungssystem und Framework für Robotik-Simulationen und bietet eine konsistente API zur Berechnung physikalischer Interaktionen über verschiedene Umgebungen hinweg. Die Engine zeichnet sich durch spezialisierte Robotik-Funktionen aus, einschließlich eines Toolkits zum Importieren von URDF- und STL-Modellen zur Steuerung von Multibody-Ketten. Sie unterstützt präzise mechanische Bewegungen durch Inverse-Kinematik-Berechnungen und die Anwendung von PID-Reglern für die dynamische Körpersteuerung. Die Simulationsfläche deckt ein breites Spektrum an physikalischen Funktionen ab, einschließlich kinematischer Charakter-Controller für die Geländedurchquerung und Ray-Cast-Modelle für Fahrzeugdynamik. Sie bietet eine mehrphasige Kollisions-Pipeline mit kontinuierlicher Kollisionserkennung zur Vermeidung von Objekt-Tunneling sowie ein System für verbundene Bewegungsbeschränkungen mittels Dreh-, Prismatik- und Kugelgelenken. Das Framework enthält Hilfsprogramme zum Importieren externer geometrischer Definitionen über STL-, URDF- und XML-Formate und bietet eine Backend-agnostische Debug-Schnittstelle zur Visualisierung interner physikalischer Zustände und 3D-Szenen.