owickstrom / domain-modeling-with-haskell-data-structuresLinks
A talk given at the Polyglot meetup in CPH, March 2018
☆12Updated 7 years ago
Alternatives and similar repositories for domain-modeling-with-haskell-data-structures
Users that are interested in domain-modeling-with-haskell-data-structures are comparing it to the libraries listed below
Sorting:
- ☆37Updated 7 years ago
- Presentations on Liquid Haskell, type theory, and more☆45Updated last year
- Example CRUD web server+client using Servant☆34Updated 3 years ago
- Slides and code examples for a talk☆22Updated 8 years ago
- Cloud Haskell Demonstration☆18Updated 10 years ago
- Small random demonstrations of code☆12Updated 6 years ago
- ♾️ Sized list☆47Updated last year
- YesQL-style SQL database abstraction.☆27Updated 5 years ago
- Slides & demos for talks I do☆58Updated 3 months ago
- Benchmarks using the non-moving incremental GHC garbage collector☆22Updated 6 years ago
- Type level natural numbers and booleans☆34Updated 6 years ago
- A type and helpers for typesafe SQL access in the presence of many databases.☆23Updated 7 months ago
- Slides + TodoApp for Chicago Haskell Servant Presentation☆47Updated 10 years ago
- Incubator for my Haskell libraries☆20Updated 7 years ago
- A PureScript interface to Selenium's Node Webdriver.☆18Updated 7 years ago
- Simple Haskell http framework☆87Updated 7 years ago
- Zippers based on lenses and traversals☆41Updated 2 years ago
- Elm arch guide in OpticUI☆13Updated 10 years ago
- Paris Functional Programming Meetup☆27Updated 5 years ago
- OTP-like supervision trees in Haskell☆62Updated 6 years ago
- Experimental event store database entirely written in Haskell☆31Updated 8 years ago
- ☆79Updated last year
- Type-Level Routing for PureScript☆41Updated 5 years ago
- What would TEA look like if we had no VDOM?☆69Updated 6 years ago
- Type provider library for Idris☆95Updated 8 years ago
- An introductory Haskell programming course by Richard Cook☆30Updated 7 years ago
- An experimental HTTP framework for Idris☆14Updated 5 years ago
- A Haskell library providing separation of effects on the type level, effectively splitting up the monolithic IO-monad into more limited c…☆27Updated 7 years ago
- Applicative-style validation☆45Updated 3 years ago
- Template for Hindley-Milner based languages☆39Updated 4 years ago