haskell-at-work / domain-modelling-with-haskellView external linksLinks
☆37Feb 12, 2018Updated 8 years ago
Alternatives and similar repositories for domain-modelling-with-haskell
Users that are interested in domain-modelling-with-haskell are comparing it to the libraries listed below
Sorting:
- ☆23Apr 17, 2018Updated 7 years ago
- A talk given at the Polyglot meetup in CPH, March 2018☆12Nov 5, 2018Updated 7 years ago
- A hack to find types in Haskell codebases☆10Aug 15, 2015Updated 10 years ago
- A tutorial on writing a concurrency testing tool in Haskell☆12Nov 5, 2017Updated 8 years ago
- language-hcl contains HCL (Hashicorp Configuration Language) parsers and pretty-printers for the Haskell programming language☆14Oct 29, 2019Updated 6 years ago
- Compiler for IMP programming language implemented in Haskell☆16Jun 16, 2020Updated 5 years ago
- Maps using values' monoidal structure during merging☆42Jan 28, 2026Updated 2 weeks ago
- Tool to determine relevant parts of binary data☆44Dec 5, 2017Updated 8 years ago
- "Programs that explain their effects" talk material☆17Jun 22, 2018Updated 7 years ago
- Type-safe effectful state machines in Haskell☆96Sep 13, 2020Updated 5 years ago
- A package re-exporting the verified subset of containers☆20Jun 18, 2018Updated 7 years ago
- My own little "24 Days of Hackage" for 2015☆62Dec 7, 2016Updated 9 years ago
- Distributed systems execution emulation☆18Nov 28, 2018Updated 7 years ago
- The Event type, extracted from purescript-behaviors☆22Dec 26, 2020Updated 5 years ago
- Efficient conversion of values into Text☆41Updated this week
- Clojure transducers in a typed setting, in Haskell☆56Feb 19, 2015Updated 10 years ago
- A simple implementation of the algebra of pictures in Haskell outlined in Peter Henderson's "Functional Geometry".☆26Feb 25, 2017Updated 8 years ago
- An append only list in a compact region☆25Sep 6, 2018Updated 7 years ago
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated last year
- ☆25Jan 5, 2026Updated last month
- A bad XML parser☆22Sep 2, 2024Updated last year
- Unison syntax highlighting for VS code☆10Jul 13, 2022Updated 3 years ago
- Cloud Haskell Supervision Trees☆11Sep 3, 2024Updated last year
- Haskell implementation of a Ringbuffer inspired by the "Disruptor Pattern"☆27Mar 19, 2015Updated 10 years ago
- Web frontend for GHC☆12Dec 10, 2019Updated 6 years ago
- GCode parser, pretty-printer and processing utils☆15Nov 13, 2023Updated 2 years ago
- Lift control operations, like exception catching, through monad transformers☆58Dec 17, 2022Updated 3 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 7 years ago
- abstraction for auto scrubbing and const time Eq, memory chunk☆17Feb 15, 2020Updated 5 years ago
- Declarative, Compositional Url Handling for WAI☆10Sep 28, 2023Updated 2 years ago
- Micro-benchmarking of Haskell code with detailed execution time statistics.☆18Aug 9, 2025Updated 6 months ago
- Closure calculus implementation☆12Jun 25, 2019Updated 6 years ago
- Google Calendar API v3. Haskell implementation☆12Sep 27, 2014Updated 11 years ago
- A Haskell library implementing several Paxos-related algorithms☆25Dec 13, 2012Updated 13 years ago
- An implementation of the Update Monad and a 'Free' version from https://danelahman.github.io/papers/types13postproc.pdf☆13Oct 11, 2018Updated 7 years ago
- Blazing fast signature detection☆11Sep 5, 2022Updated 3 years ago
- Conway's Game of Life implemented in Elm☆11Sep 30, 2024Updated last year
- Sift through Haskell code for analysis purposes☆18Jul 24, 2018Updated 7 years ago
- Thick strings optimised for indexing and updating using UTF-16 code units and row/column pairs☆14Jan 14, 2022Updated 4 years ago