jwiegley John Wiegley
github.com/jwiegley · maintains 36 packages (36 directly), sole maintainer of 10, member of 0 teams
10 packages
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Randomized property-based testing plugin for Coq; a clone of Haskell QuickCheck |
2.1.1 |
1 | 8 | 1 | 1 | single | ||
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 | ||
It's like cat, but for images |
2.6.0 |
1 | 4 | 0 | 0 | single | ||
Tool for the working semanticist |
0.34 |
1 | 7 | 1 | 2 | single | ||
Program for proof-tree visualization |
0.14 |
1 | 5 | 0 | 0 | single | ||
Python module that allows for responsible, low-boilerplate logging of method calls |
1.0.1 |
1 | 16 | 1 | 1 | single | ||
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 |