1.OCamlPro / owi
Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
+34 stars
from 295 · score 3.56
Trending repositories
Ranked by Attention Score: stars gained over the last 180 complete days
4 repositories by Attention Score · May 7, 2026 – Nov 2, 2026 (UTC)
2.alphaville / optimization-engine
Nonconvex embedded optimization: code generation for fast real-time optimization + ROS support
+23 stars
from 628 · score 3.18
3.pyamg / pyamg
Algebraic Multigrid Solvers in Python
+18 stars
from 643 · score 2.94
4.ASC-Community / AngouriMath
Open-source cross-platform symbolic algebra library for C# and F#. Can be used for both production and research purposes.
+15 stars
from 817 · score 2.77