florentc Florent Ch.
github.com/florentc · maintains 4 packages (4 directly), sole maintainer of 2, member of 0 teams
4 packages
| Package ▼ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Lightweight overlay bar for the X Window System |
0.3 |
1 | 6 | 0 | 0 | single | ||
Mechanically check TLA+ proofs |
1.4.5 |
1 | 7 | 0 | 0 | single | ||
Algorithm specification language with model checking tools |
1.8.0 |
3 | 4 | 0 | 0 | maintained | ||
Algorithm specification language with model checking tools |
1.7.4 |
3 | 4 | 0 | 0 | maintained |