1.OCamlPro / owiOwi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.ocamlwasmwebassemblyinterpretercconstraints+13 moreOCamlAGPL-3.0329 total41 forks+6 starsfrom 323 · score 1.95
2.pyamg / pyamgAlgebraic Multigrid Solvers in Pythonamgsolverpythonmultigridsparse-matrixpyamg+2 morePythonMIT661 total125 forks+5 starsfrom 656 · score 1.79
3.alphaville / optimization-engineNonconvex embedded optimization: code generation for fast real-time optimization + ROS supportembedded-optimizationnonconvexmodel-predictive-controlrust-libraryrustrust-crate+14 moreRustOther license651 total73 forks+2 starsfrom 649 · score 1.10
4.ASC-Community / AngouriMathOpen-source cross-platform symbolic algebra library for C# and F#. Can be used for both production and research purposes.csharpalgebraintegrationlatexparsingsolver+13 moreC#MIT832 total79 forks+1 starsfrom 831 · score 0.69