i-am-tom / holmes
A reference library for constraint-solving with propagators and CDCL.
☆300Updated 2 months ago
Related projects: ⓘ
- A simple expressions language with polymorphic extensible row types.☆300Updated last year
- A modern, extensible and well-documented prettyprinter.☆293Updated 4 months ago
- Generically derive traversals, lenses, and prisms.☆437Updated 5 months ago
- optics for Haskell with the most amazing type errors you've seen☆243Updated 4 years ago
- Examples of Dependently-typed programs in Haskell☆301Updated last year
- Course material for lens☆231Updated 5 years ago
- Day 9 of Advent of Haskell - Denotational Design☆97Updated 2 years ago
- The Haskell performance checklist☆372Updated 4 years ago
- Generalized bananas, lenses and barbed wire☆336Updated 3 months ago
- Relational programming in Haskell. Mostly developed on twitch.☆253Updated 2 weeks ago
- formally verified category theory library☆254Updated 4 years ago
- A friendly effect system for Haskell☆226Updated 4 months ago
- Compiling to Categories☆436Updated 6 months ago
- The home of the Glamorous Glambda interpreter☆219Updated 2 months ago
- GRIN backend for GHC☆143Updated 2 years ago
- Web application for exploring and understanding Haskell codebases☆510Updated last year
- Collections of papers and books about Haskell, Type Theory and Category Theory☆164Updated 2 years ago
- Squeal, a deep embedding of SQL in Haskell☆350Updated last week
- Equational laws for free☆247Updated 6 months ago
- Big article about Hierarchical Free Monads, the most developed approach to build real software in Haskell☆152Updated 3 years ago
- High-powered REPL for Haskell, inspired by IPython☆336Updated 11 months ago
- Optics as an abstract interface☆374Updated last month
- A minimalistic, elegant and powerful approach to working with graphs in a functional programming language☆193Updated 3 years ago
- Test monadic programs using state machine based models☆203Updated 3 years ago
- The strongly hyped Haskell interpreter.☆360Updated this week
- A categorical programming language with effects☆266Updated last year
- Functional workflows☆362Updated 7 months ago
- Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions☆205Updated 3 weeks ago
- CQL: Categorical Query Language implementation in Haskell☆163Updated last year
- Efficient Haskell Arrays featuring Parallel computation☆384Updated 3 weeks ago