redianthus
github.com/redianthus · maintains 18 packages (18 directly), sole maintainer of 15, member of 0 teams
18 packages
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
High-performance theorem prover and SMT solver |
2.4.3 |
1 | 16 | 0 | 0 | single | ||
Plugins for mdBook |
1.0.4 |
1 | 9 | 0 | 0 | single | ||
Minimal cudd bindings |
0.1.3 |
1 | 5 | 0 | 0 | single | ||
OCaml library that provides configuration, cache and data paths (and more!) following the suitable conventions on Linux, macOS and Windows |
0.7 |
2 | 6 | 1 | 1 | maintained | ||
Domain Per Core, spawn domains ensuring that they run on separate cores |
0.2 |
1 | 6 | 0 | 0 | single | ||
Collection of thin bindings to various low-level system API |
0.4.4 |
1 | 7 | 0 | 0 | single | ||
Lannotate plugin of Frama-C, part of the LTest suite |
0.2.6 |
1 | 7 | 0 | 0 | single | ||
Luncov plugin of Frama-C, part of the LTest suite |
0.2.6 |
1 | 10 | 0 | 0 | single | ||
HTML generation combinators for OCaml |
0.2.0 |
1 | 7 | 1 | 1 | single | ||
Lreplay plugin of Frama-C, part of the LTest suite |
0.1.1 |
1 | 6 | 0 | 0 | single | ||
OCaml library for SVG badge generation |
0.2 |
1 | 5 | 0 | 0 | single | ||
Console browser for the documentation of installed OCaml libraries |
1.4.1 |
1 | 11 | 0 | 0 | single | ||
OCaml library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities |
0.4.1 |
1 | 5 | 1 | 1 | single | ||
Parsing library based on combinators and ppx extension to write languages |
1.4.4 |
1 | 7 | 0 | 0 | single | ||
SMT solver frontend for OCaml |
0.28.0 → 0.31.0 |
5 | 24 | 1 | 1 | maintained outdated | ||
Primitives to write symbolic execution engines |
0.2 → 0.3 |
1 | 8 | 0 | 0 | single outdated | ||
Synchronizer to make datastructures thread-safe |
0.3 |
1 | 6 | 0 | 0 | single | ||
Symbolic execution for Wasm, C, C++, Rust and Zig |
0.2-unstable-2026-05-22 |
5 | 8 | 0 | 0 | maintained |