1.wildmeshing / fTetWildFast Tetrahedral Meshing in the WildC++MPL-2.0614 total123 forks+47 starsfrom 567 · score 3.87
2.GENIVI / CANdevStudioDevelopment tool for CAN bus simulationautomotivecancan-busgeniviC++MPL-2.01.2K total288 forks+42 starsfrom 1,108 · score 3.76
3.yixuan / spectraA header-only C++ library for large scale eigenvalue problemseigenvaluesarpacklinear-algebraspectraheader-onlyC++MPL-2.0870 total141 forks+29 starsfrom 841 · score 3.40
4.esa / pykepPyKEP is a scientific library providing basic tools for research in interplanetary trajectory design. interplanetarymission-analysisastrodynamicsaerospaceC++MPL-2.0430 total115 forks+26 starsfrom 404 · score 3.30
5.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+17 starsfrom 527 · score 2.89
6.uds-psl / coq-library-undecidabilityA library of mechanised undecidability proofs in the Coq proof assistant.coqRocq ProverMPL-2.0145 total39 forks+9 starsfrom 136 · score 2.30
7.wildmeshing / TriWildTriWild: Robust Triangulation with Curve Constraintstraingulationmeshinggeometry-processingC++MPL-2.0265 total30 forks+4 starsfrom 261 · score 1.61