1.wildmeshing / fTetWildFast Tetrahedral Meshing in the WildC++MPL-2.0614 total123 forks+26 starsfrom 588 · score 3.30
2.GENIVI / CANdevStudioDevelopment tool for CAN bus simulationautomotivecancan-busgeniviC++MPL-2.01.2K total288 forks+17 starsfrom 1,133 · score 2.89
3.esa / pygmo2A Python platform to perform parallel computations of optimisation tasks (global and local) via the asynchronous generalized island model.optimizationoptimization-algorithmsoptimization-methodsoptimization-problemevolutionary-algorithmsmultiobjective-optimization+9 moreC++MPL-2.0544 total76 forks+11 starsfrom 533 · score 2.48
4.esa / pykepPyKEP is a scientific library providing basic tools for research in interplanetary trajectory design. interplanetarymission-analysisastrodynamicsaerospaceC++MPL-2.0430 total115 forks+11 starsfrom 419 · score 2.48
5.yixuan / spectraA header-only C++ library for large scale eigenvalue problemseigenvaluesarpacklinear-algebraspectraheader-onlyC++MPL-2.0870 total141 forks+10 starsfrom 860 · score 2.40
6.uds-psl / coq-library-undecidabilityA library of mechanised undecidability proofs in the Coq proof assistant.coqRocq ProverMPL-2.0145 total39 forks+5 starsfrom 140 · score 1.79
7.erinmaus / slickslick is a simple to use polygon collision library inspired by bump.luaLuaMPL-2.085 total7 forks+4 starsfrom 81 · score 1.61
8.wildmeshing / TriWildTriWild: Robust Triangulation with Curve Constraintstraingulationmeshinggeometry-processingC++MPL-2.0265 total30 forks+3 starsfrom 262 · score 1.39