jwiegley John Wiegley
github.com/jwiegley · maintains 36 packages (36 directly), sole maintainer of 10, member of 0 teams
36 packages
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Standard library for use with the Agda compiler |
2.3 |
4 | 3 | 4 | 4 | maintained | ||
Formally verified C compiler |
3.18 |
3 | 11 | 0 | 0 | maintained unfree | ||
HTML documentation generator for Coq source files |
1.4 |
2 | 3 | 2 | 5 | maintained | ||
CoLoR is a library of formal mathematical definitions and proofs of theorems on rewriting theory and termination whose correctness has been mechanically checked by the Coq proof assistant |
1.8.6 |
2 | 5 | 0 | 0 | maintained | ||
Collection of theories and plugins that may be useful in other Coq developments |
0.13.2 |
2 | 5 | 18 | 30 | maintained | ||
Randomized property-based testing plugin for Coq; a clone of Haskell QuickCheck |
2.1.1 |
1 | 8 | 1 | 1 | single | ||
Automation for de Bruijn syntax and substitution in Coq |
1.9 |
2 | 6 | 0 | 0 | maintained | ||
Formally verified C compiler |
3.18 |
3 | 9 | 3 | 3 | maintained unfree | ||
Plugin for Coq to add dependent pattern-matching |
1.3.1+9.1 → 1.3+8.19 |
1 | 6 | 15 | 23 | single outdated | ||
Floating-point formalization for the Rocq system |
4.2.2 |
1 | 7 | 5 | 8 | single | ||
Library of abstract interfaces for mathematical structures in Coq |
9.2.0 |
2 | 5 | 0 | 0 | maintained | ||
2.5.0 |
3 | 7 | 0 | 0 | maintained | |||
2.5.0 |
3 | 8 | 11 | 26 | maintained | |||
2.5.0 |
3 | 6 | 17 | 44 | maintained | |||
2.5.0 |
3 | 7 | 2 | 2 | maintained | |||
2.5.0 |
3 | 7 | 5 | 12 | maintained | |||
2.5.0 |
3 | 7 | 9 | 29 | maintained | |||
2.5.0 |
3 | 7 | 2 | 32 | maintained | |||
2.5.0 |
3 | 7 | 1 | 13 | maintained | |||
Coq library implementing parameterized coinduction |
4.2.3 |
2 | 5 | 1 | 3 | maintained | ||
2.5.0 |
3 | 8 | 5 | 10 | maintained | |||
Extensible, customizable GNU text editor |
31.1 |
5 | 38 | 13 | 71 | maintained | ||
Extensible, customizable GNU text editor |
31.1 |
5 | 42 | 0 | 0 | maintained | ||
Extensible, customizable GNU text editor |
31.1 |
5 | 24 | 2 | 12 | maintained | ||
Extensible, customizable GNU text editor |
31.1 |
5 | 35 | 0 | 0 | maintained | ||
It's like cat, but for images |
2.6.0 |
1 | 4 | 0 | 0 | single | ||
Double-entry accounting system with a command-line reporting interface |
3.4.1 |
2 | 11 | 0 | 0 | maintained | ||
Tool for the working semanticist |
0.34 |
1 | 7 | 1 | 2 | single | ||
Pass extension for managing one-time-password (OTP) tokens |
unstable-2026-05-12 |
3 | 3 | 0 | 0 | maintained | ||
Program for proof-tree visualization |
0.14 |
1 | 5 | 0 | 0 | single | ||
Double-entry accounting system with a command-line reporting interface |
3.4.1 |
2 | 12 | 0 | 0 | maintained | ||
Python module that allows for responsible, low-boilerplate logging of method calls |
1.0.1 |
1 | 16 | 1 | 1 | single | ||
Double-entry accounting system with a command-line reporting interface |
3.4.1 |
2 | 12 | 0 | 0 | maintained | ||
Python module that allows for responsible, low-boilerplate logging of method calls |
1.0.1 |
1 | 16 | 1 | 6 | single | ||
Logic proof assistant |
1.7.1 |
1 | 5 | 0 | 0 | single | ||
JavaScript and CSS minifier |
2.4.8 |
1 | 4 | 1 | 1 | single |