nonfiction-software/exact

Exact

GitLab repository with 6 stars and 4 forks.

Language: C++

Topics: Binary linear programming, Integer Programming, MIP, PB, SAT, SMT, cp

Open provider repository

Latest metric snapshot

2026-06-05: 6 stars and 4 forks.

Trending in C++

  1. 1. kicad/code/kicad

    GitLab repository with 1,035 stars and 803 forks.

    Trending score: 0.93; stars gained: +1; forks gained: -1.

    Language: C++

    Topics: C++, kicad

  2. 2. CalcProgrammer1/OpenRGB

    Open source RGB lighting control that doesn't depend on manufacturer software. For Windows, Linux, MacOS. Supports a wide variety of RGB components, peripherals, accessories, and lights across many manufacturers. See the README or https://openrgb.org for more information.

    GitLab repository with 3,407 stars and 1,675 forks.

    Trending score: 0.92; stars gained: +1; forks gained: +1.

    Language: C++

    Topics: ASUS, Corsair, Gigabyte, MSI, hacktoberfest, lighting

  3. 3. Lipovsky/concurrency-course

    🏎️ You don't have to be an engineer to be a racing driver, but you do have to have Mechanical Sympathy

    GitLab repository with 263 stars and 386 forks.

    Trending score: 0.52; stars gained: +1; forks gained: +0.

    Language: C++

    Topics: concurrency, coroutines, fibers, futures, lock-free, runtimes

  4. 4. graphviz/graphviz

    Graph Visualization Tools

    GitLab repository with 1,461 stars and 379 forks.

    Trending score: 0.49; stars gained: +0; forks gained: +0.

    Language: C++

  5. 5. libeigen/eigen

    Eigen is a C++ template library for linear algebra: matrices, vectors, numerical solvers, and related algorithms.

    GitLab repository with 1,173 stars and 548 forks.

    Trending score: 0.43; stars gained: +0; forks gained: +0.

    Language: C++

  6. 6. agrumery/aGrUM

    aGrUM is a C++ library designed for easily building applications using graphical models such as Bayesian networks, influence diagrams, decision trees, GAI networks or Markov decision processes.

    GitLab repository with 36 stars and 29 forks.

    Trending score: 0.30; stars gained: +0; forks gained: +0.

    Language: C++

    Topics: artificial-intelligence, bayesian-network, causal-inference, causal-models, causality, cpp20