Issues created

• intersectmbo/formal-ledger-specifications: 12
• agda/agda: 5
• kosmikus/lhs2tex: 1
• gpoore/minted: 1
• agda/agda-stdlib-classes: 1
• haskellari/lattices: 1

Pull requests created

• intersectmbo/formal-ledger-specifications: 14
• intersectmbo/cardano-ledger: 5
• agda/agda-stdlib: 3
• haskell/fgl: 1
• emilaxelsson/syntactic: 1
• intersectmbo/cardano-formal-specifications: 1
• haskell/cabal: 1
• l-tchen/modaltypetheory: 1

Maintainer

Active Maintainer

Issue Author Associations

• Contributor (17, 80.95%)
• None (4, 19.05%)

Pull Request Author Associations

• Contributor (25, 92.59%)
• None (2, 7.41%)

Top Issue Labels

• enhancement (4)
• documentation (3)
• backend: latex (2)
• instance postponement (2)
• latex (2)
• bug (2)
• instance (2)
• regression on master (2)
• api (1)
• backend: dot (1)
• backend: html (1)
• generalize (1)
• ux: library management (1)
• type: enhancement (1)
• faq (1)

Top Pull Request Labels

• type: bug (1)
• blocked: action-required (1)
• :detective: testing (1)
• conformance (1)
• :fountain_pen: documentation (1)
• addition (1)