Pinned Loading

1. rzk-lang/rzk rzk-lang/rzk Public

   An experimental proof assistant based on a type theory for synthetic ∞-categories.

   Haskell 213 10

2. http-api-data http-api-data Public

   Converting to/from HTTP API data like URL pieces, headers and query parameters.

   Haskell 52 42

3. haskell-servant/servant-swagger haskell-servant/servant-swagger Public

   Swagger for Servant

   Haskell 123 37

4. GetShopTV/swagger2 GetShopTV/swagger2 Public

   Swagger 2.0 data model.

   Haskell 74 59

5. telegram-bot-simple telegram-bot-simple Public

   Easy to use library for building Telegram bots in Haskell.

   Haskell 107 54

6. free-foil free-foil Public

   Efficient Type-Safe Capture-Avoiding Substitution for Free (Scoped Monads).

   Haskell 8 2