Awesome GitHub RepositoriesNonlinear Optimization Solvers

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.

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

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

Ceres Solver ist eine C++-Bibliothek für numerische Optimierung, spezialisiert auf nichtlineare kleinste Quadrate und unbeschränkte Optimierungsprobleme. Sie dient als Framework für automatische Differenzierung und robuste Kurvenanpassung und bietet Tools zur Lösung mathematischer Modelle im großen Maßstab. Die Bibliothek zeichnet sich durch ihre Bundle-Adjustment-Funktionen aus, die spärliche Matrixstrukturen nutzen, um 3D-Szenenpunkte und Kameraparameter zu verfeinern. Sie verwendet dual-zahlbasierte automatische Differenzierung, um Ableitungen von Kostenfunktionen zu berechnen, wodurch die Notwendigkeit für manuelle Jacobian-Ableitung entfällt. Das Projekt deckt ein breites Spektrum an Optimierungsfunktionen ab, einschließlich Mannigfaltigkeits-Constraints für nicht-euklidische Räume, robuste Verlustfunktionen zur Minderung von Ausreißern sowie die Lösung dichter und spärlicher linearer Systeme. Es bietet zudem Dienstprogramme für die Konvertierung von Rotationsdarstellungen, tabellarische Dateninterpolation und Parameter-Kovarianzschätzung. Build-Konfigurationen sind für Android- und iOS-Ziele verfügbar, um die Optimierung mobiler Hardware zu unterstützen.

Drake is a robotics simulation framework and control system modeling tool used for designing, simulating, and verifying the dynamics of complex robotic systems. It functions as a multibody dynamics simulator and a mathematical optimization library, providing a suite of algorithms for trajectory optimization and the simulation of articulated robots. The framework is distinguished by its block-diagram system for composing dynamical subsystems and its ability to formulate and solve diverse mathematical programs, including linear, quadratic, and nonconvex nonlinear problems. It supports specializ

DifferentialEquations.jl ist eine umfassende numerische Bibliothek zum Lösen von gewöhnlichen, stochastischen, verzögerten und algebraischen Differentialgleichungen. Sie fungiert als Hochleistungs-Solver-Suite, die wissenschaftliches Machine Learning, probabilistische Programmierung und automatisierte Differenzierung in einem einheitlichen Framework integriert. Durch die Nutzung von Multiple Dispatch und symbolisch-numerischer Integration bietet die Bibliothek eine flexible Umgebung für komplexe mathematische Modellierung und Simulation. Das Projekt zeichnet sich durch seine Fähigkeit aus, traditionelle numerische Analysen mit modernen Machine-Learning-Techniken zu verbinden. Es unterstützt das Training universeller Differentialgleichungen, was es Benutzern ermöglicht, neuronale Netzwerke direkt in wissenschaftliche Simulatoren einzubetten, um unbekannte Dynamiken zu erlernen und gleichzeitig physikalische Einschränkungen beizubehalten. Darüber hinaus bietet die Bibliothek fortschrittliche Sensitivitätsanalysen und Parameter-Schätzungstools, einschließlich Adjoint-Methoden und Bayes'scher Inferenz, die eine effiziente Modellkalibrierung und die automatisierte Entdeckung von bestimmenden Gleichungen aus Daten ermöglichen. Die Plattform bietet umfangreiche Funktionen für High-Performance Computing, einschließlich hardwareunabhängiger Parallelität, die Simulationen über CPUs, GPUs und verteilte Cluster verteilt. Sie integriert eine rigorose Unsicherheitsquantifizierung durch Intervallarithmetik und Monte-Carlo-Propagation, was eine zuverlässige Fehlerschätzung in numerischen Experimenten gewährleistet. Zusätzlich verfügt das System über ausgefeilte Optimierungsroutinen, wie graphbasierte Sparsity-Erkennung und matrixfreie Produktberechnung, um die Leistung in groß angelegten Systemen zu beschleunigen.

mujoco_menagerie is a curated library of physical robot specifications and XML model definitions designed for standardized dynamics and contact simulation. It provides a collection of high-quality robot model files for humanoids, quadrupeds, and manipulators, alongside detailed kinematic and inertial parameters used to reproduce real-world robot behavior in virtual environments. The project serves as a repository of robotics simulation assets and MJCF model definitions optimized for accuracy. It includes standardized model libraries specifically for bipedal, quadrupedal, and humanoid hardware

Symbolics.jl is a foundational framework for symbolic mathematics, automated differentiation, and scientific compilation within the Julia programming language. It provides a comprehensive system for algebraic manipulation, expression simplification, and the construction of mathematical models, enabling users to represent complex physical and chemical systems as symbolic equations. The library distinguishes itself through a source-to-source compilation engine that translates high-level symbolic representations directly into optimized, parallelized, and hardware-specific numerical code. By util