1.wildmeshing / fTetWildFast Tetrahedral Meshing in the WildC++MPL-2.0614 total123 forks+4 starsfrom 610 · score 1.61
2.GENIVI / CANdevStudioDevelopment tool for CAN bus simulationautomotivecancan-busgeniviC++MPL-2.01.2K total288 forks+3 starsfrom 1,147 · score 1.39
3.yixuan / spectraA header-only C++ library for large scale eigenvalue problemseigenvaluesarpacklinear-algebraspectraheader-onlyC++MPL-2.0870 total141 forks+1 starsfrom 869 · score 0.69
4.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+1 starsfrom 543 · score 0.69
5.esa / pykepPyKEP is a scientific library providing basic tools for research in interplanetary trajectory design. interplanetarymission-analysisastrodynamicsaerospaceC++MPL-2.0430 total115 forks+1 starsfrom 429 · score 0.69
6.wildmeshing / TriWildTriWild: Robust Triangulation with Curve Constraintstraingulationmeshinggeometry-processingC++MPL-2.0265 total30 forks+1 starsfrom 264 · score 0.69
7.uds-psl / coq-library-undecidabilityA library of mechanised undecidability proofs in the Coq proof assistant.coqRocq ProverMPL-2.0145 total39 forks+1 starsfrom 144 · score 0.69