redianthus
github.com/redianthus · maintains 18 packages (18 directly), sole maintainer of 15, member of 0 teams
15 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 | ||
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 | ||
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 |