Issues created

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

Pull requests created

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

Maintainer

• justusadam/marvin: 13
• justusadam/dynamic_content: 12
• justusadam/language-haskell: 10
• mit-pdos/noria: 8
• 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 (48, 44.86%)
• Contributor (28, 26.17%)
• None (23, 21.50%)
• Collaborator (6, 5.61%)
• Member (2, 1.87%)

Pull Request Author Associations

• Contributor (70, 75.27%)
• Collaborator (10, 10.75%)
• None (9, 9.68%)
• Owner (4, 4.30%)

Top Issue Labels

• enhancement (16)
• bug (10)
• [C] Feature / Enhancement (10)
• question (9)
• component:library (6)
• topic:adapter (6)
• topic:api (3)
• Code Contracts (3)
• aws (3)
• topic:performance (3)
• needs testing (2)
• Kani (2)
• help wanted (2)
• [C] Bug (2)
• component:preprocessor (1)

Top Pull Request Labels

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