statebox / cql
CQL: Categorical Query Language implementation in Haskell
☆165Updated last year
Alternatives and similar repositories for cql:
Users that are interested in cql are comparing it to the libraries listed below
- formally verified category theory library☆259Updated 4 years ago
- Relational programming in Haskell. Mostly developed on twitch.☆258Updated 4 months ago
- The Art of the Propagator. See also:☆172Updated 9 months ago
- Extensional capabilities and deriving combinators☆215Updated 6 months ago
- Test monadic programs using state machine based models☆202Updated 3 years ago
- GRIN backend for GHC☆144Updated 3 years ago
- A minimalistic, elegant and powerful approach to working with graphs in a functional programming language☆195Updated 3 years ago
- optics for Haskell with the most amazing type errors you've seen☆242Updated 5 years ago
- Heterogeneous automatic differentiation ("backpropagation") in Haskell☆183Updated 6 months ago
- Hypertypes - generic programming for heterogeneous recursive types☆119Updated 2 weeks ago
- Fake dependent types in Haskell using singletons☆288Updated 2 weeks ago
- Library of categories, with categorical constructions on them☆53Updated last year
- GHC Whole Program Compiler and External STG IR tooling☆117Updated 2 months ago
- Optics as an abstract interface☆378Updated 3 weeks ago
- "Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory☆205Updated 2 years ago
- The GHC API, decoupled from GHC versions☆161Updated this week
- Inspection Testing for Haskell☆175Updated 3 weeks ago
- Visualiser for Haskell (GHC) prof files☆194Updated last year
- Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions☆213Updated last month
- Day 9 of Advent of Haskell - Denotational Design☆97Updated 3 years ago
- A Haskell blog☆133Updated 6 months ago
- Strongly-typed System F in Haskell☆117Updated 2 years ago
- Functional workflows☆363Updated last year
- The theory of algebraic graphs formalised in Agda☆89Updated 6 years ago
- Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically☆204Updated 9 months ago
- A Haskell library for open records and variants using closed type families and type literals☆112Updated 2 years ago
- Software Transactional Memory☆102Updated 2 months ago
- Standard library for linear types in Haskell.☆338Updated 2 months ago
- A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…☆155Updated 3 years ago
- A friendly effect system for Haskell☆229Updated 8 months ago