jacobneu / HoTT-agdaView external linksLinks
Formalization of Homotopy Type Theory for use in my Youtube videos
☆16May 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 2 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☆34Updated this week
- 💠 HL7: FHIR Application Server ISO/HL7 27931:2009☆11Jul 8, 2025Updated 7 months ago
- ☆38Updated this week
- Unreal Engine development plugin for Vim☆30Aug 7, 2021Updated 4 years ago
- Genetic algorithm to solve 3D Tetris.☆13Apr 28, 2017Updated 8 years ago
- My personal site.☆10Jan 20, 2026Updated 3 weeks ago
- 🐥 Gallery viewer for https://github.com/cat-milk/Anime-Girls-Holding-Programming-Books☆12Updated this week
- SIGPLAN website☆13Updated this week
- 夜鹭页录(YeluYelu)，记录夜鹭奇妙拟态的图鉴网站☆18Jun 3, 2025Updated 8 months ago
- Topology library for Coq☆12Dec 24, 2015Updated 10 years ago
- My (newer) Emacs configuration☆14Sep 14, 2025Updated 5 months ago
- The NEAT Algorithm made from scratch learns to play the game color switch also made from scratch in python☆13Aug 26, 2025Updated 5 months ago
- Groupoids vs 1-Types☆11Nov 8, 2018Updated 7 years ago
- This is a translation of source code from SICP into SML/NJ.☆13Jun 2, 2010Updated 15 years ago
- My solutions to exercises in "Logical Foundations" (2018-2019)☆11Apr 11, 2019Updated 6 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,…☆10Feb 8, 2026Updated last week
- A book about functional programming in Lean☆45Feb 6, 2024Updated 2 years ago
- Use the file system abstraction library, assetsys.h, to load raylib assets from .zip files.☆11Sep 10, 2023Updated 2 years ago
- The collected works of R. F. C. Walters☆13Nov 12, 2024Updated last year
- Formalising lecture notes from 1st year Imperial Mathematics course.☆14May 18, 2020Updated 5 years ago
- C function library for working with the TMS9918A/28A/29A video processor using the MSX BIOS.☆10Jul 28, 2025Updated 6 months ago
- Lisp implementation in Lua☆12Aug 9, 2014Updated 11 years ago
- QOI image codec for OCaml (unreleased)☆11Jan 2, 2026Updated last month
- smallest z80 disassembler in the world☆12Jan 28, 2023Updated 3 years ago
- Erlang client for StatsD☆19Oct 9, 2018Updated 7 years ago
- a screen snapshot application under UEFI☆10Jan 22, 2014Updated 12 years ago
- Quickly insert debugger statements into your buffer based on filetype.☆10May 5, 2020Updated 5 years ago
- For loop macros for Nim☆10Nov 28, 2020Updated 5 years 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
- Quantum-proof, 768-bit signatures for 1-bit messages☆11Mar 11, 2020Updated 5 years ago
- Aeternity virtual machines byte code modules☆14Apr 26, 2024Updated last year
- A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell☆10Mar 8, 2016Updated 9 years ago
- A Neovim plugin to run the current filetype.☆10Jun 22, 2023Updated 2 years ago
- ☆11Jun 2, 2015Updated 10 years ago
- Run Dyalog APL under Docker☆11Dec 18, 2025Updated last month