tdietert / types-as-specificationsLinks
β50Updated 5 years ago
Alternatives and similar repositories for types-as-specifications
Users that are interested in types-as-specifications are comparing it to the libraries listed below
Sorting:
- Example of usage polysemy and servantβ57Updated 6 years ago
- π Profunctor based lightweight implementation of Lensesβ71Updated 2 years ago
- Template Haskell Workshopβ52Updated 3 years ago
- A Haskell implementation of JSON Web Token (JWT)β36Updated last year
- π°πͺ Architecture of Haskell backend applicationsβ135Updated 2 years ago
- Visual tool to spot odd runtime behaviour of Haskell programs.β109Updated 3 years ago
- Show Haskell type annotations when doing code review on Githubβ142Updated 4 years ago
- A Haskell implementation of realworld.ioβ55Updated last year
- Active streaming declarative programmers. See who's online at the following URL:β67Updated 3 months ago
- A tutorial on writing Haskell Language Server pluginsβ70Updated 5 years ago
- Extra Haskell functionsβ96Updated 2 months ago
- β93Updated last year
- Find your open-soulmate <π>β75Updated 3 years ago
- Frostβ19Updated 5 years ago
- Extensional capabilities and deriving combinatorsβ219Updated last year
- A PureScript interpreter in Haskellβ121Updated 3 years ago
- In goes JSON, out comes a complete Haskell model complete with instances! CLI and web interface available.β81Updated 4 years ago
- Haskell job queue with admin UI and loads of other features.β78Updated last month
- β‘οΈEfficient implementation of Map with types as keysβ101Updated last year
- π― IO with Exceptions tracked on the type-levelβ58Updated 4 years ago
- A Haskell library for open records and variants using closed type families and type literalsβ112Updated 3 years ago
- β29Updated 6 years ago
- Moot is a CFP and event management system!β66Updated 6 years ago
- First-class type familiesβ88Updated last month
- Kowainik Git Workflow Helper Toolβ76Updated 2 years ago
- A modern template for a Servantβ53Updated last year
- π Out of the shell solution for scripting in Haskellβ73Updated 11 months ago
- The MonadUnliftIO typeclass for unlifting monads to IOβ148Updated 3 weeks ago
- A collection of Haskell's WATsβ94Updated 8 months ago
- A List of Foundational Haskell Papersβ42Updated 7 years ago