luc65r Lucas Ransan
github.com/luc65r · maintains 6 packages (6 directly), sole maintainer of 4, member of 0 teams
6 packages
| Package ▼ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
C library offering an interface to the CUDD BDD library for OCaml |
3.0.8 |
1 | 6 | 0 | 0 | single broken | ||
Extensible and collaborative platform dedicated to source-code analysis of C software |
33.0 |
2 | 14 | 2 | 2 | maintained | ||
OCaml stubs for Flint2, Arb, Antic, Calcium |
0.4.2 |
1 | 9 | 0 | 0 | single | ||
Graphical User Interface for Frama-C |
33.0 |
1 | 8 | 0 | 0 | single | ||
Extensible and collaborative platform dedicated to source-code analysis of C software |
33.0 |
2 | 28 | 2 | 4 | maintained | ||
A CP solver for smtlib |
0.6 |
1 | 3 | 0 | 0 | single |