florentc Florent Ch.
github.com/florentc · maintains 4 packages (4 directly), sole maintainer of 2, member of 0 teams
2 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 |