Zimmi48 Théo Zimmermann
github.com/Zimmi48 · maintains 60 packages (60 directly), sole maintainer of 10, member of 0 teams
10 packages
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
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 | ||
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 | ||
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 | ||
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 |