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
- Bidirectional programming in Haskell with monadic profunctors☆46Updated 2 years ago
- Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais☆26Updated 6 years ago
- being a bidirectional reformulation of Martin-Löf's 1971 type theory☆25Updated 7 years ago
- ☆30Updated 6 years ago
- being the programs and code for a paper about general recursion☆25Updated 10 years ago
- Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring☆27Updated 3 years ago
- Logic Explorer - customizable proof construction tool for sequent calculi☆20Updated 2 years ago
- A formalization of finite, constructive log analysis using linear temporal logic☆20Updated this week
- Invertible parsing for S-expressions☆34Updated 6 months ago
- Self-contained repository for the eponymous paper☆29Updated 6 years ago
- Haskell implementation of open games☆12Updated 8 years ago
- Category Theory in Agda. Learning exercise, not for public consumption.☆25Updated 5 years ago
- handouts and notes from the 2017 edition of the summer school☆39Updated 7 years ago
- Dependently typed elimination functions using singletons☆28Updated 2 months ago
- A showcase of interesting code and proof developments in Cedille☆36Updated 2 years ago
- Coordinate-free hypersurfaces as Haskell types☆40Updated last year
- Agda-style equational reasoning in Haskell☆52Updated 2 months ago
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated last year
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆40Updated 3 years ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18Updated 5 years ago
- Auto-parallelizing Pure Functional Language☆27Updated 5 years ago
- A program for generating LaTeX TikZ code for string diagrams.☆18Updated 3 years ago
- HoTT proofs using experimental induction-induction (mostly about real numbers) (used to contain the HoTT.Classes proofs)☆15Updated 4 years ago
- A package Index for agda libraries☆12Updated 4 years ago
- Mathematical stories☆13Updated 4 years ago
- A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs☆72Updated 3 years ago
- Miller/pattern unification in Agda☆64Updated 11 years ago
- Proof checker for propositional logic☆16Updated 7 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated last week
- being a collection of Agda-facilitated ramblings☆33Updated 4 years ago