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
- Active streaming declarative programmers. See who's online at the following URL:☆67Updated 3 months ago
- Frost☆19Updated 5 years ago
- ☆29Updated 6 years ago
- ☆93Updated last year
- 🎯 IO with Exceptions tracked on the type-level☆58Updated 4 years ago
- A collection of Haskell's WATs☆94Updated 9 months ago
- Course for learning how to apply property-based state-machine testing☆62Updated 6 years ago
- A Haskell implementation of realworld.io☆55Updated last year
- A Haskell implementation of JSON Web Token (JWT)☆36Updated last year
- Template Haskell Workshop☆52Updated 3 years ago
- Find your open-soulmate <💜>☆75Updated 4 years ago
- A PureScript interpreter in Haskell☆121Updated 3 years ago
- Show Haskell type annotations when doing code review on Github☆143Updated 4 years ago
- A modern template for a Servant☆53Updated last year
- Experimental, user-contributed effects and interpreters for polysemy☆72Updated 2 years ago
- Haskell job queue with admin UI and loads of other features.☆78Updated 2 months ago
- In goes JSON, out comes a complete Haskell model complete with instances! CLI and web interface available.☆81Updated 4 years ago
- Visual tool to spot odd runtime behaviour of Haskell programs.☆109Updated 3 years ago
- Standard containers, with keys that carry type-level proofs of their own presence.☆81Updated 5 years ago
- A tutorial on writing Haskell Language Server plugins☆70Updated 5 years ago
- First-class type families☆88Updated last week
- VSCode extension for Haskell☆110Updated 9 months ago
- 🐚 Out of the shell solution for scripting in Haskell☆73Updated last year
- Moot is a CFP and event management system!☆66Updated 6 years ago
- Kowainik Git Workflow Helper Tool☆76Updated 2 years ago
- ️🌈 Convenient interface for printing colourful messages☆70Updated 3 weeks ago
- Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming☆44Updated 5 years ago
- A collection of Practical Haskell bits.☆85Updated 3 years ago