tdietert / types-as-specificationsLinks
β49Updated 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β56Updated 5 years ago
- π Profunctor based lightweight implementation of Lensesβ71Updated 2 years ago
- Active streaming declarative programmers. See who's online at the following URL:β67Updated last month
- Template Haskell Workshopβ52Updated 3 years ago
- A Haskell implementation of JSON Web Token (JWT)β36Updated last year
- Frostβ19Updated 5 years ago
- A Haskell implementation of realworld.ioβ55Updated last year
- Show Haskell type annotations when doing code review on Githubβ142Updated 4 years ago
- π°πͺ Architecture of Haskell backend applicationsβ135Updated 2 years ago
- β29Updated 5 years ago
- Find your open-soulmate <π>β75Updated 3 years ago
- Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programmingβ44Updated 5 years ago
- Haskell job queue with admin UI and loads of other features.β78Updated 9 months ago
- A small example of using mtl style to unit test effectful codeβ107Updated 7 years ago
- A preprocessor for a Haskell record syntax using dotβ129Updated last year
- β93Updated last year
- In goes JSON, out comes a complete Haskell model complete with instances! CLI and web interface available.β81Updated 4 years ago
- π― IO with Exceptions tracked on the type-levelβ58Updated 4 years ago
- Visual tool to spot odd runtime behaviour of Haskell programs.β109Updated 3 years ago
- A PureScript interpreter in Haskellβ121Updated 3 years ago
- Querying a rate-limited currency exchange API using Redis as a cacheβ42Updated 5 years ago
- Moot is a CFP and event management system!β66Updated 6 years ago
- JSON decoding/encoding/manipulation library.β93Updated 3 years ago
- β115Updated last week
- A utility for managing Hackage dependencies and manipulating Cabal files from the command line.β77Updated 2 years ago
- Kowainik Git Workflow Helper Toolβ77Updated 2 years ago
- VSCode extension for Haskellβ111Updated 6 months ago
- β‘οΈEfficient implementation of Map with types as keysβ101Updated last year
- A tutorial on writing Haskell Language Server pluginsβ70Updated 4 years ago
- Extra Haskell functionsβ95Updated last week