Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / david-christiansen issue stats
Total issues: 296
Total pull requests: 504
Merged pull request: 483
Average time to close issues: 4 months
Average time to close pull requests: 5 days
Average comments per issue: 1.04
Average comments per pull request: 0.57
Issues created
- leanprover/reference-manual: 72
- leanprover/fp-lean: 58
- leanprover/verso: 37
- gelisam/klister: 12
- leanprover/subverso: 11
- GaloisInc/argo: 8
- david-christiansen/tiny-dependent-types: 7
- david-christiansen/pie-hs: 6
- david-christiansen/tt-playground: 6
- david-christiansen/idris-code-highlighter: 6
- haskellfoundation/error-message-index: 5
- david-christiansen/jonprl-mode: 5
- david-christiansen/itu-thesis: 5
- idris-lang/idris-tutorial: 5
- the-little-typer/pie: 4
- david-christiansen/frank.el: 4
- GaloisInc/saw-training: 3
- leanprover/lean4: 3
- jgm/commonmark-hs: 3
- david-christiansen/live-code-talks: 3
- thoughtpolice/cryptol-mode: 2
- david-christiansen/testable-propositions: 2
- haskell/haskell-language-server: 2
- jonsterling/racket-grit: 2
- haskell/security-advisories: 2
- GaloisInc/daedalus: 2
- david-christiansen/dr-racket-like-unicode: 1
- david-christiansen/prop-menu-el: 1
- haskell/ghcup-hs: 1
- katspaugh/ido-at-point: 1
- pnwamk/define-with-spec: 1
- racket/macro-debugger: 1
- namin/clpsmt-minikanren: 1
- david-christiansen/annotated-wl-pprint: 1
- ekmett/trifecta: 1
- jozefg/miniprl: 1
- carlohamalainen/ghc-imported-from: 1
- david-christiansen/helm-idris: 1
- jeapostrophe/slideshow-latex: 1
- david-christiansen/barcodes-code128: 1
- brandonchinn178/toml-reader: 1
- haskell/cabal: 1
- vmchale/libarchive: 1
- racket/redex: 1
- minad/jinx: 1
- GaloisInc/llvm-pretty-bc-parser: 1
- grin-compiler/haskell-code-spot: 1
Pull requests created
- leanprover/verso: 169
- leanprover/reference-manual: 89
- leanprover/subverso: 78
- gelisam/klister: 32
- haskell/error-messages: 21
- GaloisInc/argo: 12
- haskell/security-advisories: 10
- haskellfoundation/tech-proposals: 8
- jonsterling/racket-grit: 7
- leanprover/theorem_proving_in_lean4: 6
- ziman/lightyear: 5
- the-little-typer/pie: 5
- leanprover/lean4: 5
- thoughtpolice/cryptol-mode: 4
- mortberg/cubicaltt: 3
- idris-lang/idris-tutorial: 3
- david-christiansen/annotated-wl-pprint: 3
- david-christiansen/racket-presentation-gui: 2
- haskell/cabal: 2
- leanprover/presentations: 2
- leanprover/fp-lean: 2
- commercialhaskell/pantry: 2
- david-christiansen/pie-hs: 2
- haskellfoundation/stability: 2
- david-christiansen/pudding-old: 2
- haskell/hackage-security: 2
- leanprover/lean-action: 2
- edwinb/sdl-idris: 2
- leanprover/doc-gen4: 2
- GaloisInc/saw-training: 1
- lexi-lambda/hackett: 1
- haskell/haskell-mode: 1
- jgm/commonmark-hs: 1
- GaloisInc/daedalus: 1
- jappeace/haskell-nightly: 1
- ekmett/trifecta: 1
- GaloisInc/mir-verifier: 1
- haskellfoundation/haskell-ci-group: 1
- daviddrysdale/mdbook-indexing: 1
- GaloisInc/crucible: 1
- leanprover/leanprover.github.io: 1
- leanprover/lean4checker: 1
- david-christiansen/prop-menu-el: 1
- david-christiansen/jonprl-mode: 1
- racket/string-constants: 1
- GaloisInc/saw-core: 1
- david-christiansen/final-pretty-printer: 1
- GaloisInc/cryptol-verifier: 1
- GaloisInc/jvm-verifier: 1
Maintainer
- leanprover/verso: 206
- leanprover/reference-manual: 161
- leanprover/subverso: 89
- leanprover/fp-lean: 60
- gelisam/klister: 44
- haskell/error-messages: 21
- jonsterling/racket-grit: 9
- the-little-typer/pie: 9
- david-christiansen/pie-hs: 8
- david-christiansen/tiny-dependent-types: 7
- david-christiansen/jonprl-mode: 6
- david-christiansen/tt-playground: 6
- david-christiansen/idris-code-highlighter: 6
- leanprover/theorem_proving_in_lean4: 6
- david-christiansen/itu-thesis: 5
Active Maintainer
Issue Author Associations
- Collaborator (192, 64.86%)
- Owner (49, 16.55%)
- Contributor (35, 11.82%)
- None (16, 5.41%)
- Member (4, 1.35%)
Pull Request Author Associations
- Collaborator (412, 81.75%)
- Contributor (73, 14.48%)
- Owner (12, 2.38%)
- Member (5, 0.99%)
- None (2, 0.40%)
Top Issue Labels
- enhancement (11)
- highlighting (10)
- bug (9)
- doc-request (8)
- wontfix (8)
- Confusing (5)
- TODO (5)
- error-message-index-site (4)
- Promises (4)
- Inaccuracies (3)
- priority/high (2)
- discussion (2)
- Low-hanging fruit (2)
- P-medium (2)
- HTML backend (2)
Top Pull Request Labels
- toolchain-available (5)
- merge me (2)
- merge delay passed (2)
- builds-mathlib (2)
- attention: needs-review (1)
- breaks-mathlib (1)
- proposal: pending draft (1)