Coherence typechecker for infinity categories
☆21Aug 17, 2026Updated 2 months ago
Alternatives and similar repositories for catt
Users that are interested in catt are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Revised Omega-categorical Typechecker☆27Nov 3, 2024Updated last year
- Formalization of Opetopes and Opetopic Sets in Agda☆18Dec 15, 2016Updated 9 years ago
- A repository for material from the reading group on NbE☆17Oct 31, 2023Updated 2 years ago
- A graphical tool to translate lambda terms to proof nets and run GoI token machine on it☆10Apr 24, 2016Updated 10 years ago
- Experimental type-checker for internally parametric type theory☆33Mar 27, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆12Jan 25, 2022Updated 4 years ago
- ☆10May 3, 2017Updated 9 years ago
- Type-Theory in Sequent Calculus☆14Jul 30, 2015Updated 11 years ago
- Observational Type Theory as an Agda library☆59May 27, 2017Updated 9 years ago
- Two-Level Type Theory☆31Dec 13, 2019Updated 6 years ago
- An approach to higher algebra in type theory☆23May 12, 2020Updated 6 years ago
- secret project☆17Mar 14, 2018Updated 8 years ago
- A library for doing generic programming in Agda☆39Jan 27, 2021Updated 5 years ago
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Jul 4, 2013Updated 13 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Higher Algebra with Opetopic Types☆17Mar 30, 2023Updated 3 years ago
- Toy implementation of Martin-Löf Type Theory☆30Mar 3, 2026Updated 7 months ago
- ☆16Oct 31, 2023Updated 2 years ago
- Experiments in Synthetic Differential Geometry☆16Jul 1, 2021Updated 5 years ago
- Jason Reed's Tiny LF, and some experiments in higher-order proof refinement logics using Jon Sterling Thought☆13May 15, 2017Updated 9 years ago
- ☆14Jun 7, 2024Updated 2 years ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Aug 1, 2014Updated 12 years ago
- Relative Monad Library for Agda☆24May 29, 2019Updated 7 years ago
- All higher inductive types can be obtained from three simple HITs.☆17Apr 6, 2018Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A string diagram generator for LaTeX.☆32May 28, 2026Updated 5 months ago
- Syntax for Virtual Equipments: a natural syntax for doing synthetic and internal category theory☆32Apr 29, 2023Updated 3 years ago
- Synthetic Topology in Homotopy Type Theory for probabilstic programming☆13Feb 2, 2018Updated 8 years ago
- Coherence typechecker for Grothendieck/Maltsiniotis style infinity categories☆15Mar 26, 2017Updated 9 years ago
- Type theory in type theory☆16Feb 26, 2012Updated 14 years ago
- Research material of Erik Palmgren (1963–2019)☆21Apr 7, 2025Updated last year
- ☆18May 10, 2022Updated 4 years ago
- A simple implementation of linear type theory☆40Apr 21, 2017Updated 9 years ago
- Multimode simple type theory as an Agda library.☆22Sep 18, 2024Updated 2 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Normalization by Evaluation for STLC with sums (no proof of correctness, shame! shame! shame!)☆12Nov 22, 2019Updated 6 years ago
- Normalization by Evaluation for Martin-Löf Type Theory☆138Jun 5, 2024Updated 2 years ago
- PL syntax macros.☆22Oct 8, 2026Updated 3 weeks ago
- Type Theory with Indexed Equality☆26Apr 7, 2017Updated 9 years ago
- 🪆 A Staged Type Theory☆36Sep 4, 2023Updated 3 years ago
- Code for tutorials, papers and experiments. Mostly Agda, Coq and Haskell.☆21Feb 17, 2023Updated 3 years ago
- Experimental library for Narya☆13Aug 6, 2025Updated last year