1.stack-of-tasks / pinocchioA fast and flexible implementation of Rigid Body Dynamics algorithms and their analytical derivativesroboticsdynamicsanalytical-derivativeskinematicsc-plus-plusrigid-body-dynamics+11 moreC++BSD-2-CLAUSE3.8K total593 forks+67 starsfrom 3,771 · score 4.22
2.ethz-adrl / control-toolboxThe Control Toolbox - An Open-Source C++ Library for Robotics, Optimal and Model Predictive Controloptimal-controlmodel-predictive-controlilqrilqgroboticstrajectory-optimization+9 moreC++BSD-2-CLAUSE1.7K total343 forks+11 starsfrom 1,711 · score 2.48
3.CEED / libCEEDCEED Library: Code for Efficient Extensible Discretizationsceedhigh-orderexascale-computingapiecphigh-performance-computing+5 moreCBSD-2-CLAUSE273 total84 forks+6 starsfrom 267 · score 1.95
4.uwdb / CosetteCosette is an automated SQL solver.rosettecoqsqldatabaseverificationLeanBSD-2-CLAUSE690 total57 forks+3 starsfrom 687 · score 1.39
5.pydata / bottleneckFast NumPy array functions written in Ccpythonnumpyfastc-extensionPythonBSD-2-CLAUSE1.2K total121 forks+2 starsfrom 1,183 · score 1.10
6.bjodah / chempy⚗ A package useful for chemistry written in Pythonchemistryphysical-chemistrychemical-kineticschemical-formulaschemical-reaction-modelpython+1 morePythonBSD-2-CLAUSE659 total88 forks+1 starsfrom 658 · score 0.69
7.DiffSharp / DiffSharpDiffSharp: Differentiable Functional Programmingmachine-learningtensordotnetautodiffgpudeep-learning+1 moreF#BSD-2-CLAUSE616 total72 forks+1 starsfrom 615 · score 0.69
8.ppissias / SpacePixelsAstronomical FITS image analysis tool for detecting asteroids, comets, satellites, moving objects, and transients in astrophotography data.astronomyastronomy-softwareastrophotographymoving-object-detectionphotometryvariable-stars+6 moreJavaBSD-2-CLAUSE8 total0 forks+1 starsfrom 7 · score 0.69