Popular repositories Loading

1. effin effin Public archive

   A Typeable-free implementation of extensible effects

   Haskell 26 1

2. constraint-rules constraint-rules Public

   Extend GHC's type checker with user-defined rules, without writing a type checker plugin.

   Haskell 18

3. vscode-latex-input vscode-latex-input Public

   LaTeX-style unicode input for Visual Studio Code

   TypeScript 11 3

4. FsChannel FsChannel Public

   An implementation of Go style fibers and channels in FSharp.

   F# 1

5. tlogic tlogic Public

   Typed logic programming embedded in Haskell.

   Haskell 1

6. closed-classes closed-classes Public

   Closed type class declarations

   Haskell 1