CategoricalData / CQLLinks
Categorical Query Language IDE
☆309Updated last month
Alternatives and similar repositories for CQL
Users that are interested in CQL are comparing it to the libraries listed below
Sorting:
- formally verified category theory library☆263Updated 5 years ago
- ACT community resources☆467Updated 5 years ago
- Programming language agnostic type construction language based on polynomials.☆368Updated last year
- CQL: Categorical Query Language implementation in Haskell☆173Updated 2 years ago
- Research on integrating datalog & lambda calculus via monotonicity types☆400Updated 3 years ago
- Graph programming language☆92Updated this week
- The Art of the Propagator. See also:☆174Updated last year
- Relational programming in Haskell. Mostly developed on twitch.☆263Updated 9 months ago
- Software Foundations in Idris☆454Updated 6 years ago
- ☆115Updated 11 months ago
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations☆378Updated last year
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆618Updated last month
- Algebraic graphs☆739Updated last month
- A categorical programming language with effects☆278Updated 2 years ago
- Day 9 of Advent of Haskell - Denotational Design☆97Updated 3 years ago
- An introductory course to Homotopy Type Theory☆371Updated 4 years ago
- An axiom-free formalization of category theory in Coq for personal study and practical work☆779Updated 3 weeks ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆174Updated 4 years ago
- Source material for Algebra-Driven Design☆149Updated last year
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆301Updated last year
- Generalized bananas, lenses and barbed wire☆346Updated 6 months ago
- Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Id…☆180Updated 7 years ago
- A new Categories library for Agda☆382Updated this week
- Lean theorem prover version 0.2 (it supports standard and HoTT modes)☆122Updated 3 years ago
- The collected works of F. W. Lawvere☆355Updated 9 months ago
- A library for probabilistic programming in Haskell.☆432Updated this week
- Functional workflows☆365Updated last year
- Experimental implementation of Cubical Type Theory☆582Updated last year
- A minimalistic, elegant and powerful approach to working with graphs in a functional programming language☆197Updated 3 years ago
- Lecture notes on univalent foundations of mathematics with Agda☆229Updated last year