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
- A Haskell implementation of realworld.io☆55Updated last year
- Show Haskell type annotations when doing code review on Github☆142Updated 4 years ago
- 👓 Profunctor based lightweight implementation of Lenses☆71Updated 2 years ago
- Moot is a CFP and event management system!☆66Updated 6 years ago
- Active streaming declarative programmers. See who's online at the following URL:☆67Updated last month
- Frost☆19Updated 5 years ago
- A collection of Haskell's WATs☆95Updated 7 months ago
- Visual tool to spot odd runtime behaviour of Haskell programs.☆109Updated 3 years ago
- A Haskell implementation of JSON Web Token (JWT)☆36Updated last year
- An example Haskell web application☆148Updated 7 years ago
- Find your open-soulmate <💜>☆75Updated 3 years ago
- A modern template for a Servant☆53Updated last year
- A PureScript interpreter in Haskell☆121Updated 3 years ago
- ☆93Updated last year
- The MonadUnliftIO typeclass for unlifting monads to IO☆148Updated 5 months ago
- ☆120Updated this week
- Kowainik Git Workflow Helper Tool☆77Updated 2 years ago
- Crossing the road between Haskell and Elm☆89Updated 3 months ago
- Extensional capabilities and deriving combinators☆219Updated last year
- Template Haskell Workshop☆52Updated 3 years ago
- 🍰🔪 Architecture of Haskell backend applications☆135Updated 2 years ago
- A preprocessor for a Haskell record syntax using dot☆129Updated last year
- Haskell job queue with admin UI and loads of other features.☆78Updated last week
- Experimental, user-contributed effects and interpreters for polysemy☆72Updated 2 years ago
- A tutorial on writing Haskell Language Server plugins☆70Updated 5 years ago
- Course for learning how to apply property-based state-machine testing☆62Updated 5 years ago
- A List of Foundational Haskell Papers☆41Updated 6 years ago
- Extra Haskell functions☆95Updated last month
- ☆29Updated 5 years ago