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
- 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☆23Mar 3, 2026Updated last week
- 💠 HL7: FHIR Application Server ISO/HL7 27931:2009☆11Feb 17, 2026Updated 3 weeks ago
- ☆39Feb 25, 2026Updated last week
- My personal site.☆10Mar 1, 2026Updated last week
- Genetic algorithm to solve 3D Tetris.☆13Apr 28, 2017Updated 8 years ago
- 🐥 Gallery Viewer for Anime Girls Holding Programming Books☆12Updated this week
- My solutions to exercises in "Logical Foundations" (2018-2019)☆11Apr 11, 2019Updated 6 years ago
- Topology library for Coq☆12Dec 24, 2015Updated 10 years ago
- 夜鹭页录(YeluYelu)，记录夜鹭奇妙拟态的图鉴网站☆18Jun 3, 2025Updated 9 months ago
- Groupoids vs 1-Types☆11Nov 8, 2018Updated 7 years ago
- SIGPLAN website☆13Updated 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
- This is a translation of source code from SICP into SML/NJ.☆13Jun 2, 2010Updated 15 years ago
- A book about functional programming in Lean☆45Feb 6, 2024Updated 2 years ago
- For loop macros for Nim☆10Nov 28, 2020Updated 5 years ago
- A64: ARM64 Assembler for Erlang☆11Sep 30, 2020Updated 5 years ago
- 💧 MAIL: Система доставки повідомлень☆29Jan 27, 2026Updated last month
- C function library for working with the TMS9918A/28A/29A video processor using the MSX BIOS.☆10Jul 28, 2025Updated 7 months ago
- (Extremely) simple standalone symbolic algebra library in OCaml. (Mirrored from original site.)☆12Oct 6, 2011Updated 14 years ago
- Tomato-rubato is an easy to use library for live audio programming in Haskell.☆30Aug 14, 2022Updated 3 years ago
- tickdream rust event - Async IO similar to libevent☆11May 13, 2022Updated 3 years ago
- Lisp implementation in Lua☆12Aug 9, 2014Updated 11 years ago
- Interactive help subsystem for the q/kdb+ session☆14Dec 21, 2019Updated 6 years ago
- Erlang client for StatsD☆19Oct 9, 2018Updated 7 years ago
- QOI image codec for OCaml (unreleased)☆11Jan 2, 2026Updated 2 months ago
- MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)☆16Dec 19, 2023Updated 2 years ago
- Base Formality libraries☆10Mar 4, 2019Updated 7 years ago
- Formalization in Coq of algorithms used in compilers for the Compiler.org project☆15Dec 22, 2018Updated 7 years ago
- ☆13Aug 13, 2023Updated 2 years ago
- Quantum-proof, 768-bit signatures for 1-bit messages☆12Mar 11, 2020Updated 5 years ago
- smallest z80 disassembler in the world☆12Jan 28, 2023Updated 3 years ago
- Lwt with async backend☆18Jan 2, 2014Updated 12 years ago
- Quickly insert debugger statements into your buffer based on filetype.☆10May 5, 2020Updated 5 years ago
- Constructive definition of real numbers implemented in agda.☆10Jul 31, 2016Updated 9 years ago
- The ASF+SDF Meta-Environment is an inter-active IDE for language prototyping, source code analysis and source-to-source transformation. I…☆16Nov 15, 2012Updated 13 years ago
- online decision-making platform☆14Sep 10, 2023Updated 2 years ago
- The collected works of R. F. C. Walters☆13Nov 12, 2024Updated last year