Popular repositories

1. language-agda Public

   Agda language support for VSCode, based on https://github.com/mokus0/Agda.tmbundle

   6 2

2. ghci-websockets Public

   A websocket server in GHCi that survives reloads

   Haskell 6 1

3. hldb Public

   HLedger dashboard

   Haskell 3 1

4. time-patterns Public

   Primitives and combinators for recurring dates

   Haskell 3

5. dpllt Public

   An implementation of aDPLLT algorithm in Haskell

   Haskell 3

6. mtg-builder Public

   Haskell meets MTG

   Haskell 3