Formalization of Homotopy Type Theory for use in my Youtube videos
☆17May 28, 2024Updated last year
Alternatives and similar repositories for HoTT-agda
Users that are interested in HoTT-agda are comparing it to the libraries listed below
Sorting:
- VEX Development Plugin for Vim☆10Jun 3, 2019Updated 6 years ago
- Web playground to try Scryer Prolog in your browser!☆16Nov 29, 2025Updated 3 months ago
- My honours project (with thesis), submitted in completion of the BSc Combined Honours in Mathematics & Computer Science at Dalhousie Univ…☆24Aug 14, 2023Updated 2 years ago
- Nightly builds☆23Updated this week
- A math animation engine based on geometric algebra☆34Feb 11, 2026Updated 3 weeks ago
- 💠 HL7: FHIR Application Server ISO/HL7 27931:2009☆11Feb 17, 2026Updated 2 weeks ago
- ☆39Feb 25, 2026Updated last week
- Unreal Engine development plugin for Vim☆30Aug 7, 2021Updated 4 years ago
- My personal site.☆10Mar 1, 2026Updated last week
- Genetic algorithm to solve 3D Tetris.☆13Apr 28, 2017Updated 8 years ago
- Topology library for Coq☆12Dec 24, 2015Updated 10 years ago
- 🐥 Gallery Viewer for Anime Girls Holding Programming Books☆12Updated this week
- My (newer) Emacs configuration☆14Sep 14, 2025Updated 5 months ago
- 夜鹭页录(YeluYelu)，记录夜鹭奇妙拟态的图鉴网站☆18Jun 3, 2025Updated 9 months ago
- My solutions to exercises in "Logical Foundations" (2018-2019)☆11Apr 11, 2019Updated 6 years ago
- This is a translation of source code from SICP into SML/NJ.☆13Jun 2, 2010Updated 15 years ago
- 💬 CHAT: Instant Messenger. ITU/IETF: 3394, 3565, 5280, 5480, 5652, 5755 8551, X.509, CMS, PKCS-10, PCKS-7, OCSP, LDAP, DNS; ANSI: X9-42,…☆11Updated this week
- The NEAT Algorithm made from scratch learns to play the game color switch also made from scratch in python☆13Aug 26, 2025Updated 6 months ago
- SIGPLAN website☆13Updated this week
- Groupoids vs 1-Types☆11Nov 8, 2018Updated 7 years ago
- MI-BCI is the acronym for minimal invasive brain-computer interface (BCI). The repository is the sample code for the paper "Intracranial…☆11Jun 12, 2022Updated 3 years ago
- A book about functional programming in Lean☆45Feb 6, 2024Updated 2 years ago
- a screen snapshot application under UEFI☆10Jan 22, 2014Updated 12 years ago
- Maya plugin helpers☆16Oct 22, 2015Updated 10 years ago
- A model-based testing framework for Quint + Rust☆35Dec 23, 2025Updated 2 months ago
- Run Dyalog APL under Docker☆11Dec 18, 2025Updated 2 months ago
- 💧 MAIL: Система доставки повід омлень☆29Jan 27, 2026Updated last month
- Formalising lecture notes from 1st year Imperial Mathematics course.☆14May 18, 2020Updated 5 years ago
- A Neovim plugin to run the current filetype.☆10Jun 22, 2023Updated 2 years ago
- A utility to manage HTTP requests from APL☆12Feb 11, 2026Updated 3 weeks ago
- C function library for working with the TMS9918A/28A/29A video processor using the MSX BIOS.☆10Jul 28, 2025Updated 7 months ago
- Formalization in Coq of algorithms used in compilers for the Compiler.org project☆15Dec 22, 2018Updated 7 years ago
- Tomato-rubato is an easy to use library for live audio programming in Haskell.☆30Aug 14, 2022Updated 3 years ago
- The collected works of R. F. C. Walters☆13Nov 12, 2024Updated last year
- Learn nix by example☆11Aug 11, 2022Updated 3 years ago
- Constructive definition of real numbers implemented in agda.☆10Jul 31, 2016Updated 9 years ago
- The dotfiles I infect my computers with☆12Jan 4, 2025Updated last year
- smallest z80 disassembler in the world☆12Jan 28, 2023Updated 3 years ago
- LLMs in Futhark☆12Sep 1, 2025Updated 6 months ago