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
- Slides and code examples for a talk☆22Updated 8 years ago
- Benchmarks using the non-moving incremental GHC garbage collector☆22Updated 6 years ago
- Example CRUD web server+client using Servant☆34Updated 3 years ago
- Cloud Haskell Demonstration☆18Updated 10 years ago
- An experimental HTTP framework for Idris☆14Updated 5 years ago
- Presentations on Liquid Haskell, type theory, and more☆45Updated last year
- YesQL-style SQL database abstraction.☆27Updated 5 years ago
- Incubator for my Haskell libraries☆20Updated 7 years ago
- Small random demonstrations of code☆12Updated 6 years ago
- Generalized folds, unfolds, and traversals for fixed point data structures☆58Updated 3 years ago
- QuickCheck extras.☆29Updated 6 years ago
- ♾️ Sized list☆47Updated 2 weeks ago
- OTP-like supervision trees in Haskell☆62Updated 6 years ago
- Applicative-style validation☆45Updated 3 years ago
- Slides + TodoApp for Chicago Haskell Servant Presentation☆48Updated 10 years ago
- Template for Hindley-Milner based languages☆39Updated 4 years ago
- Superseded by the core team project Unison Share (https://github.com/unisonweb/share)☆22Updated 5 years ago
- 🧊 Інститут формальної математики☆35Updated last month
- Simple Haskell http framework☆87Updated 7 years ago
- Working through the Thinking with Types book in Haskell☆34Updated 5 years ago
- ☆31Updated 4 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 7 years ago
- Optical Purescript UI library based on React and the Elm architecture, but without the boilerplate.☆49Updated 7 years ago
- A PureScript interface to Selenium's Node Webdriver.☆18Updated 7 years ago
- A type and helpers for typesafe SQL access in the presence of many databases.☆23Updated 7 months ago
- Type level natural numbers and booleans☆34Updated 6 years ago
- Slides & demos for talks I do☆58Updated 3 months ago
- Criterion benchmarks for the different haskell concurrent channel implementations in base and stm☆17Updated 11 years ago
- The 2019/2020 edition of Strathclyde's CS316 Functional Programming course☆40Updated 5 years ago