Formalization of Homotopy Type Theory for use in my Youtube videos
☆17May 28, 2024Updated 2 years ago
Alternatives and similar repositories for HoTT-agda
Users that are interested in HoTT-agda are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A formalization of System Fω in Agda☆20Dec 23, 2025Updated 9 months ago
- Nightly builds☆23Oct 11, 2026Updated last week
- A Cheat Sheet for Coq Developers who want to try LeanProver☆19Jul 25, 2023Updated 3 years ago
- Let's rethink how we interact with Agda☆18Nov 18, 2022Updated 3 years ago
- My honours project (with thesis), submitted in completion of the BSc Combined Honours in Mathematics & Computer Science at Dalhousie Univ…☆24Aug 14, 2023Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Web playground to try Scryer Prolog in your browser!☆16Nov 29, 2025Updated 10 months ago
- MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)☆17Dec 19, 2023Updated 2 years ago
- A Parallel Framework for Bayesian Learning☆14Aug 2, 2021Updated 5 years ago
- Parallel, fused reducers for Lean 4☆16May 30, 2026Updated 4 months ago
- GHCJS FFI bindings to the Electron API (WIP).☆10May 21, 2017Updated 9 years ago
- A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…☆32Sep 21, 2022Updated 4 years ago
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Mar 20, 2024Updated 2 years ago
- ☆40Oct 1, 2026Updated 2 weeks ago
- A cool text editor for authors☆19Oct 23, 2018Updated 7 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.
- An efficient finite map from (byte)strings to values.☆20Oct 1, 2026Updated 2 weeks ago
- Set up a specific version of Agda for your GitHub Actions workflow.☆32Nov 24, 2025Updated 10 months ago
- Experiments in Synthetic Differential Geometry☆16Jul 1, 2021Updated 5 years ago
- A book about functional programming in Lean☆47Feb 6, 2024Updated 2 years ago
- Agda formalisation of the Introduction to Homotopy Type Theory☆129Nov 27, 2021Updated 4 years ago
- Cloud Haskell Demonstration☆18Sep 5, 2015Updated 11 years ago
- ☆26Aug 30, 2024Updated 2 years ago
- Higher-order FRP compiler☆17Oct 20, 2021Updated 4 years ago
- Formalization of type theory☆22Jul 5, 2021Updated 5 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Akka.Js DOM framework☆12Jul 17, 2018Updated 8 years ago
- Formalization of Categories with Families☆16Oct 4, 2021Updated 5 years ago
- Formalisation of the theory of real closed fields in Lean 4.☆15Updated this week
- Node.js project starter on steroids: quickly create a Node.js app AND generate source code for data models + REST/GraphQL APIs (the gener…☆16Jan 4, 2023Updated 3 years ago
- ☆20Mar 15, 2016Updated 10 years ago
- Experiments with preordered set models of (directed) type theories☆16Jul 10, 2019Updated 7 years ago
- Formalism and proofs for esverify☆20May 26, 2018Updated 8 years ago
- AutoHotkey Scripts so that I can use my i3 (linux) shortcuts in windows too☆11Jan 26, 2026Updated 8 months ago
- Lean course materials for Brown CS 22, Spring 2023☆20Nov 20, 2023Updated 2 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.
- I'm putting Palmgren's Constructive Sheaf Semantics into Agda. Defines sheaves via Grothendieck pretopologies.☆18Jan 5, 2015Updated 11 years ago
- A translation of F# Domain Modelling Made Functional https://github.com/swlaschin/DomainModelingMadeFunctional/blob/master/src/OrderTakin…☆13Jun 6, 2022Updated 4 years ago
- My personal site.☆10Oct 6, 2026Updated last week
- Dependently typed programming language written in Haskell☆22Feb 14, 2022Updated 4 years ago
- A dependently typed type checker for a TT with intervals☆24Feb 6, 2020Updated 6 years ago
- ☆22Jan 24, 2022Updated 4 years ago
- A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell☆11Mar 8, 2016Updated 10 years ago