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:
- Benchmarks using the non-moving incremental GHC garbage collector☆22Updated 6 years ago
- ☆37Updated 7 years ago
- Small random demonstrations of code☆12Updated 6 years ago
- Slides & demos for talks I do☆58Updated 2 months ago
- Cloud Haskell Demonstration☆18Updated 10 years ago
- Slides and code examples for a talk☆22Updated 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
- Working through the Thinking with Types book in Haskell☆34Updated 5 years ago
- Paris Functional Programming Meetup☆27Updated 5 years ago
- OTP-like supervision trees in Haskell☆62Updated 6 years ago
- ♾️ Sized list☆47Updated last year
- Slides + TodoApp for Chicago Haskell Servant Presentation☆47Updated 10 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 9 years ago
- JVM implementation in Haskell☆44Updated last year
- B+-tree implementation in Haskell☆28Updated 6 years ago
- YesQL-style SQL database abstraction.☆27Updated 5 years ago
- QuickCheck extras.☆29Updated 6 years ago
- Applicative-style validation☆45Updated 3 years ago
- An experimental HTTP framework for Idris☆14Updated 5 years ago
- Incubator for my Haskell libraries☆20Updated 7 years ago
- Working through Type-Driven Development with Idris☆25Updated 9 years ago
- A tutorial on writing a concurrency testing tool in Haskell☆12Updated 8 years ago
- Generalized folds, unfolds, and traversals for fixed point data structures☆58Updated 3 years ago
- A type and helpers for typesafe SQL access in the presence of many databases.☆23Updated 6 months ago
- A small package that demonstrates how to use LiquidHaskell as a GHC plugin☆24Updated last year
- What would TEA look like if we had no VDOM?☆69Updated 6 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- Haskell bindings to RocksDB (http://rocksdb.org)☆27Updated 7 years ago
- Experimental event store database entirely written in Haskell☆31Updated 8 years ago