Pinned Loading

1. optparse-applicative optparse-applicative Public

   Applicative option parser

   Haskell 956 123

2. wireapp/wire-server wireapp/wire-server Public

   🇪🇺 Wire back-end services

   Haskell 2.8k 333

3. agda-base agda-base Public

   Base library for HoTT in Agda

   Agda 39 5

4. agda-categories agda-categories Public archive

   Category theory and algebra

   Agda 27 3

5. qr qr Public

   QR encoder library

   Haskell 5

6. pledger pledger Public

   Command line accounting tool and python library

   Python 15 2