Pinned Loading

1. pdf-toolbox pdf-toolbox Public

   A collection of tools for processing PDF files in Haskell

   Haskell 181 26

2. scanner scanner Public

   Fast non-backtracking incremental combinator parsing for bytestrings

   Haskell 46 5

3. io-region io-region Public

   Exception safe resource management

   Haskell 22

4. colab colab Public

   Realtime colaborative editor demo

   Haskell 9

5. lean4-http-client lean4-http-client Public

   Http client for lean4

   Lean 4