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
- YesQL-style SQL database abstraction.☆27Updated 5 years ago
- Benchmarks using the non-moving incremental GHC garbage collector☆22Updated 6 years ago
- ♾️ Sized list☆47Updated last year
- An experimental HTTP framework for Idris☆14Updated 5 years ago
- Generalized folds, unfolds, and traversals for fixed point data structures☆58Updated 3 years ago
- B+-tree implementation in Haskell☆28Updated 6 years ago
- Slides and code examples for a talk☆22Updated 7 years ago
- Superseded by the core team project Unison Share (https://github.com/unisonweb/share)☆22Updated 5 years ago
- OTP-like supervision trees in Haskell☆62Updated 6 years ago
- Slides + TodoApp for Chicago Haskell Servant Presentation☆47Updated 10 years ago
- Zippers based on lenses and traversals☆41Updated 2 years ago
- 💙 Code from the HandyHaskell twitter page☆14Updated 5 years ago
- What would TEA look like if we had no VDOM?☆69Updated 6 years ago
- Cloud Haskell Demonstration☆18Updated 10 years ago
- Example CRUD web server+client using Servant☆34Updated 3 years ago
- A proper network library for Idris, now that I know what I'm doing.☆59Updated 9 years ago
- Incubator for my Haskell libraries☆20Updated 7 years ago
- Edison: A Library of Efficient Data Structures☆56Updated 7 months ago
- Working through the Thinking with Types book in Haskell☆34Updated 5 years ago
- Simple Haskell http framework☆87Updated 7 years ago
- Slides & demos for talks I do☆58Updated last month
- ☆79Updated last year
- Haskell bindings to RocksDB (http://rocksdb.org)☆27Updated 7 years ago
- A short scripts and programs☆11Updated 2 years ago
- Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell☆48Updated 3 years ago
- haskell lazy evaluation illustrated☆72Updated 8 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- Recursion schemes for Idris☆64Updated 7 years ago
- ☆50Updated 7 years ago