Zimmi48 Théo Zimmermann
github.com/Zimmi48 · maintains 60 packages (60 directly), sole maintainer of 10, member of 0 teams
60 packages
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Coq proof assistant |
9.1.1 |
4 | 7 | 78 | 85 | maintained | ||
Library for serialization to S-expressions |
0.4.1 |
1 | 6 | 1 | 2 | single | ||
Implementation of books from Bourbaki's Elements of Mathematics in Coq |
2.4 |
1 | 8 | 0 | 0 | single | ||
Library for serialization to S-expressions |
0.2.0 |
1 | 7 | 1 | 1 | single | ||
Coq proof assistant |
8.10.2 |
4 | 9 | 0 | 0 | maintained | ||
Coq proof assistant |
8.11.2 |
4 | 9 | 0 | 0 | maintained | ||
Coq proof assistant |
8.12.2 |
4 | 9 | 0 | 0 | maintained | ||
Coq proof assistant |
8.13.2 |
4 | 9 | 0 | 0 | maintained | ||
Coq proof assistant |
8.14.1 |
4 | 6 | 0 | 0 | maintained | ||
Coq proof assistant |
8.15.2 |
4 | 6 | 0 | 0 | maintained | ||
Coq proof assistant |
8.16.1 |
4 | 6 | 0 | 0 | maintained | ||
Coq proof assistant |
8.17.1 |
4 | 6 | 0 | 0 | maintained | ||
Coq proof assistant |
8.18.0 |
4 | 6 | 0 | 0 | maintained | ||
Coq proof assistant |
8.19.2 |
4 | 6 | 0 | 0 | maintained | ||
Coq proof assistant |
8.20.1 |
4 | 5 | 1 | 8 | maintained | ||
Coq proof assistant |
8.7.2 |
4 | 5 | 0 | 0 | maintained | ||
Coq proof assistant |
8.8.2 |
4 | 5 | 0 | 0 | maintained | ||
Coq proof assistant |
8.9.1 |
4 | 5 | 0 | 0 | maintained | ||
Coq proof assistant |
9.0.1 |
4 | 7 | 0 | 0 | maintained | ||
Coq proof assistant |
9.2.0 |
4 | 10 | 1 | 1 | maintained | ||
Coq proof assistant |
9.3.0 |
4 | 10 | 0 | 0 | maintained | ||
Delightful platform for full-stack web apps |
1.4.0 |
1 | 2 | 0 | 0 | single | ||
Mustache template language in Go |
1.4.2 |
1 | 3 | 0 | 0 | single | ||
GraphQL PPX rewriter for Bucklescript/ReasonML |
1.2.3 |
2 | 10 | 0 | 0 | maintained broken | ||
JSON Web Tokens (JWT) for OCaml |
0.4.0 |
2 | 13 | 0 | 0 | maintained | ||
Auto-formatter for OCaml code (library) |
0.29.0 |
2 | 23 | 1 | 1 | maintained | ||
Auto-formatter for OCaml code (RPC mode) |
0.29.0 |
2 | 7 | 3 | 6 | maintained | ||
Auto-formatter for OCaml code |
0.20.1 |
2 | 20 | 0 | 0 | maintained broken | ||
Auto-formatter for OCaml code |
0.21.0 |
2 | 20 | 0 | 0 | maintained broken | ||
Auto-formatter for OCaml code |
0.22.4 |
2 | 21 | 0 | 0 | maintained broken | ||
Auto-formatter for OCaml code |
0.23.0 |
2 | 21 | 0 | 0 | maintained broken | ||
Auto-formatter for OCaml code |
0.24.1 |
2 | 21 | 0 | 0 | maintained broken | ||
Auto-formatter for OCaml code |
0.25.1 |
2 | 23 | 0 | 0 | maintained broken | ||
Auto-formatter for OCaml code |
0.26.0 |
2 | 23 | 0 | 0 | maintained broken | ||
Auto-formatter for OCaml code |
0.26.1 |
2 | 23 | 0 | 0 | maintained broken | ||
Auto-formatter for OCaml code |
0.26.2 |
2 | 23 | 0 | 0 | maintained broken | ||
Auto-formatter for OCaml code |
0.27.0 |
2 | 23 | 0 | 0 | maintained broken | ||
Auto-formatter for OCaml code |
0.29.0 |
2 | 24 | 0 | 0 | maintained | ||
Auto-formatter for OCaml code |
0.19.0 |
2 | 3 | 0 | 0 | maintained | ||
Auto-formatter for OCaml code |
0.20.0 |
2 | 3 | 0 | 0 | maintained | ||
Auto-formatter for OCaml code |
0.20.1 |
2 | 3 | 0 | 0 | maintained | ||
Auto-formatter for OCaml code |
0.21.0 |
2 | 3 | 0 | 0 | maintained | ||
Auto-formatter for OCaml code |
0.22.4 |
2 | 3 | 0 | 0 | maintained | ||
Auto-formatter for OCaml code |
0.23.0 |
2 | 3 | 0 | 0 | maintained | ||
Auto-formatter for OCaml code |
0.24.1 |
2 | 3 | 0 | 0 | maintained | ||
Auto-formatter for OCaml code |
0.25.1 |
2 | 3 | 0 | 0 | maintained | ||
Auto-formatter for OCaml code |
0.26.0 |
2 | 3 | 0 | 0 | maintained | ||
Auto-formatter for OCaml code |
0.26.1 |
2 | 3 | 0 | 0 | maintained | ||
Auto-formatter for OCaml code |
0.26.2 |
2 | 3 | 0 | 0 | maintained | ||
Auto-formatter for OCaml code |
0.27.0 |
2 | 3 | 0 | 0 | maintained | ||
Auto-formatter for OCaml code |
0.28.1 |
2 | 23 | 0 | 0 | maintained | ||
Collection of tools for writing technical documents that mix Coq code and prose |
2.0.0 |
1 | 22 | 0 | 0 | single | ||
Collection of tools for writing technical documents that mix Coq code and prose |
2.0.0 |
1 | 22 | 0 | 0 | single | ||
Rocq Prover |
9.1.1 |
4 | 6 | 29 | 107 | maintained | ||
Rocq Prover |
9.0.1 |
4 | 6 | 1 | 1 | maintained | ||
Rocq Prover |
9.2.0 |
4 | 9 | 1 | 2 | maintained | ||
Rocq Prover |
9.3.0 |
4 | 9 | 1 | 1 | maintained | ||
GitHub Copilot uses OpenAI Codex to suggest code and entire functions in real-time right from your editor |
1.388.0 |
1 | 2 | 0 | 0 | single unfree | ||
VsCoq is an extension for Visual Studio Code (VS Code) and VSCodium with support for the Coq Proof Assistant |
2.2.6 |
1 | 2 | 0 | 0 | single | ||
VsRocq is an extension for Visual Studio Code with support for the Rocq Prover |
2.5.0 |
1 | 2 | 0 | 0 | single |