Pinned Loading

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

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

   Haskell 273 14

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

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

   Haskell 53 44

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

   Swagger for Servant

   Haskell 123 34

4. GetShopTV/swagger2 GetShopTV/swagger2 Public

   Swagger 2.0 data model.

   Haskell 74 60

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

   Easy to use library for building Telegram bots in Haskell.

   Haskell 123 56

6. free-foil free-foil Public

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

   Haskell 10 4