☆12Nov 1, 2026Updated this week
Alternatives and similar repositories for equality
Users that are interested in equality are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Oct 9, 2025Updated last year
- An agda library for developing synthetic category theory - and other synthetic mathematics☆35Updated this week
- formalization of an equivariant cartesian cubical set model of type theory☆21Jan 3, 2025Updated last year
- Agda formalisation of NbE for λ□☆18Dec 5, 2017Updated 8 years ago
- Meta-programming utilities for Agda.☆25Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Agda to C compiler☆11Sep 23, 2025Updated last year
- An Agda library for reasoning about asynchronous iterative algorithms and network routing problems☆29Dec 29, 2023Updated 2 years ago
- Multimode simple type theory as an Agda library.☆22Sep 18, 2024Updated 2 years ago
- An agda2hs-compatible library for well-scoped syntax☆11Aug 26, 2026Updated 2 months ago
- ☆14Jun 7, 2024Updated 2 years ago
- ☆29Jun 23, 2022Updated 4 years ago
- AACMM's generic-syntax, but with QTT-style annotations☆22Apr 7, 2024Updated 2 years ago
- Shrinking induction-recursion... sometimes you just wanna be small!☆16May 7, 2026Updated 5 months ago
- Mtac in Agda☆29May 4, 2021Updated 5 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Experiment with synthetic domain theory in cubical agda☆16Nov 8, 2022Updated 3 years ago
- Formalization of the UTxO abstract model for (bitcoin-style) blockchain transactions.☆15Nov 14, 2024Updated last year
- A Logical Relation for Martin-Löf Type Theory in Agda☆60Sep 11, 2025Updated last year
- ☆34Apr 17, 2023Updated 3 years ago
- A library for doing generic programming in Agda☆39Jan 27, 2021Updated 5 years ago
- Agda code for experimenting with internal models of cubical type theory☆16Apr 3, 2018Updated 8 years ago
- Experiments with Realizability in Univalent Type Theory☆20Oct 21, 2024Updated 2 years ago
- Language Server for Agda☆130Updated this week
- My master thesis about generic programming and ornaments☆16Jul 5, 2016Updated 10 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.
- Files related to my paper "Continuity of Godel's system T functionals via effectful forcing". MFPS'2013. Electronic Notes in Theoretical …☆13Sep 21, 2021Updated 5 years ago
- Please star this and feel free to look up on mario maker☆11Jan 24, 2023Updated 3 years ago
- Agda formalisation of dual-context constructive modal logics.☆20Apr 1, 2020Updated 6 years ago
- Haskell implementation of nominal datatypes and functions☆44Aug 4, 2020Updated 6 years ago
- ☆18May 10, 2022Updated 4 years ago
- Formalization of 2LTT in Agda☆17Oct 11, 2026Updated 3 weeks ago
- Verified Extraction from Rocq to OCaml/Malfunction☆22Updated this week
- Synthetic Tait computability in intensional type theory☆18Jul 13, 2026Updated 3 months ago
- Type Theory with Indexed Equality☆26Apr 7, 2017Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- The multimode presheaf proof-assistant☆37Jan 23, 2026Updated 9 months ago
- ☆17Jun 10, 2022Updated 4 years ago
- Lean formalization of selected lemmas from "Term Rewriting and All That"☆18Apr 20, 2026Updated 6 months ago
- Kitcat is an experimental Univalent mathematics library for proof theory, category theory, and computer science formalization in Agda☆21Aug 25, 2026Updated 2 months ago
- ☆23Jul 1, 2024Updated 2 years ago
- A work-in-progress core language for Agda, in Agda☆76Sep 10, 2026Updated last month
- A repository for material from the reading group on NbE☆17Oct 31, 2023Updated 3 years ago