1.OCamlPro / owi
Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
+13 stars
from 316 · score 2.64
Trending repositories
Ranked by Attention Score: stars gained over the last 90 complete days
5 repositories by Attention Score · Aug 5, 2026 – Nov 2, 2026 (UTC)
2.ASC-Community / AngouriMath
Open-source cross-platform symbolic algebra library for C# and F#. Can be used for both production and research purposes.
+10 stars
from 822 · score 2.40
3.pyamg / pyamg
Algebraic Multigrid Solvers in Python
+9 stars
from 652 · score 2.30
4.alphaville / optimization-engine
Nonconvex embedded optimization: code generation for fast real-time optimization + ROS support
+9 stars
from 642 · score 2.30
5.mdiep / Logician
Logic programming in Swift
+1 stars
from 199 · score 0.69