sdiehl / cats
Generate commutative diagrams inside of Pandoc with Tikz
☆35Updated 7 years ago
Alternatives and similar repositories for cats:
Users that are interested in cats are comparing it to the libraries listed below
- being the programs and code for a paper about general recursion☆24Updated 9 years ago
- Cohesive type theory☆19Updated 3 years ago
- Dependently typed elimination functions using singletons☆28Updated 2 weeks ago
- Bidirectional programming in Haskell with monadic profunctors☆44Updated 2 years ago
- being a bidirectional reformulation of Martin-Löf's 1971 type theory☆25Updated 7 years ago
- A formalization of finite, constructive log analysis using linear temporal logic☆19Updated last week
- Category Theory in Agda. Learning exercise, not for public consumption.☆25Updated 4 years ago
- a modern library for typed path manipulation in Haskell☆36Updated 3 years ago
- Self-contained repository for the eponymous paper☆29Updated 6 years ago
- Invertible parsing for S-expressions☆33Updated 4 months ago
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated 10 months ago
- topos programming☆31Updated 6 years ago
- Compositional type checking for Haskell☆36Updated 13 years ago
- Materials for 2-hr LiquidHaskell Workshop☆11Updated 3 years ago
- Modular Reifiable Matching, A List-of-Functors Approach to Two-Level Types☆9Updated 7 years ago
- Where my everyday research happens☆52Updated last week
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18Updated 5 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- Dependently typed Algorithm M and friends☆25Updated 6 years ago
- Generic functions for single-sorted first-order structural unification☆41Updated 2 weeks ago
- TODO☆23Updated 9 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 6 years ago
- Logic Explorer - customizable proof construction tool for sequent calculi☆20Updated 2 years ago
- handouts and notes from the 2017 edition of the summer school☆39Updated 7 years ago
- HoTT proofs using experimental induction-induction (mostly about real numbers) (used to contain the HoTT.Classes proofs)☆15Updated 4 years ago
- A small bifunctor library for idris☆21Updated 4 years ago
- Functional Pearl: Certified Binary Search in a Read-Only Array☆28Updated 3 years ago
- Type Theory with Indexed Equality☆23Updated 7 years ago
- Miller/pattern unification in Agda☆63Updated 10 years ago
- Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring☆26Updated 3 years ago