Issues created

• model-checking/kani: 19
• justusadam/marvin: 19
• justusadam/dynamic_content: 11
• justusadam/language-haskell: 10
• mit-pdos/noria: 9
• github/codeql: 8
• willcrichton/flowistry: 5
• JustusAdam/mustache: 5
• diffblue/cbmc: 4
• justusadam/elm-init: 3
• cognitive-engineering-lab/rustc_plugin: 3
• justusadam/marvin-docs: 3
• typelead/etlas: 2
• ohua-dev/stc-lang: 2
• justusadam/marvin-interpolate: 2
• kiliankoe/github-shop-bestellung: 2
• barrucadu/irc-conduit: 1
• monadfix/named: 1
• JustusAdam/elm-path: 1
• nikita-volkov/conversion: 1
• haskell/alex: 1
• facebookexperimental/allocative: 1
• haskell/aeson: 1
• mihaimaruseac/hindent: 1
• serokell/universum: 1
• suhailshergill/extensible-effects: 1
• haskell/haddock: 1
• kiliankoe/arbeitszeitnachweis: 1
• uberspace/manual: 1
• textmate/haskell.tmbundle: 1
• justusadam/spellcheck: 1

Pull requests created

• mit-pdos/noria: 18
• model-checking/kani: 15
• cognitive-engineering-lab/rustc_plugin: 11
• odrotbohm/lectures: 5
• facebookexperimental/allocative: 5
• willcrichton/flowistry: 5
• kiliankoe/github-shop-bestellung: 3
• snapframework/snap: 2
• max-leuthaeuser/robolabsim: 2
• lexi-lambda/freer-simple: 2
• roelvandijk/base-unicode-symbols: 2
• darxtrix/ptop: 2
• serokell/universum: 2
• bocharsky-bw/Arrayzy: 2
• toml-rs/toml: 2
• jgm/filestore: 2
• nikita-volkov/conversion: 2
• syocy/a-tour-of-go-in-haskell: 1
• typelead/eta-hackage: 1
• atom/language-clojure: 1
• justusadam/dynamic_content: 1
• kiliankoe/mitbewohnervereinbarung: 1
• elm-community/maybe-extra: 1
• haskell-hvr/missingh: 1
• justusadam/marvin: 1
• facebookexperimental/MIRAI: 1
• stevenfontanella/microlens: 1
• vincenthz/language-java: 1
• ocaml-multicore/multicore-talks: 1
• haskell/stylish-haskell: 1
• cdepillabout/read-env-var: 1
• goens/rand-code-graph: 1
• cdornan/fmt: 1
• przygienda/dot-rust: 1
• sporto/awesome-elm: 1
• offenesdresden/dvbpy: 1
• haskell/haddock: 1
• hyperloop-rails/hyperloop-rails.github.io: 1
• justusadam/justusadam.github.io: 1
• vmchale/haskell-ats: 1
• kiliankoe/hubot-dvb: 1
• kiliankoe/dvbpy: 1
• JustusAdam/mustache: 1

Maintainer

• mit-pdos/noria: 27
• justusadam/marvin: 20
• justusadam/dynamic_content: 12
• justusadam/language-haskell: 10
• JustusAdam/mustache: 6
• kiliankoe/github-shop-bestellung: 5
• justusadam/elm-init: 3
• justusadam/marvin-docs: 3
• justusadam/marvin-interpolate: 2
• ohua-dev/stc-lang: 2
• goens/rand-code-graph: 1
• kiliankoe/arbeitszeitnachweis: 1
• justusadam/spellcheck: 1
• justusadam/justusadam.github.io: 1
• JustusAdam/elm-path: 1

Active Maintainer

Issue Author Associations

• Owner (55, 45.08%)
• Contributor (30, 24.59%)
• None (23, 18.85%)
• Collaborator (12, 9.84%)
• Member (2, 1.64%)

Pull Request Author Associations

• Contributor (72, 66.67%)
• Collaborator (23, 21.30%)
• None (9, 8.33%)
• Owner (4, 3.70%)

Top Issue Labels

• enhancement (18)
• bug (12)
• component:library (12)
• question (11)
• topic:adapter (11)
• [C] Feature / Enhancement (10)
• topic:performance (5)
• topic:api (5)
• Code Contracts (3)
• aws (3)
• help wanted (3)
• needs testing (3)
• Kani (2)
• [C] Bug (2)
• component:initializer (1)

Top Pull Request Labels

• CLA Signed (6)
• Z-BenchCI (5)
• Merged (4)
• type:breaking (2)
• [C] Feature / Enhancement (1)
• enhancement (1)