jonaprieto / hott-cheatsheetsView external linksLinks
Homotopy type theory cheatsheets to read the HoTT Book
☆12Jul 27, 2019Updated 6 years ago
Alternatives and similar repositories for hott-cheatsheets
Users that are interested in hott-cheatsheets are comparing it to the libraries listed below
Sorting:
- ☆10May 3, 2017Updated 8 years ago
- types for various combinatory systems, especialy tree calculi☆24Jan 23, 2025Updated last year
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Sep 10, 2015Updated 10 years ago
- Documents pour le cours de maths MP2I 2022/2023☆21May 7, 2023Updated 2 years ago
- A collection of additional language phonology settings for use with VulgarLang.☆13Aug 19, 2022Updated 3 years ago
- [OUTDATED] Outputs highest mentioned crypto coins on 4chan's /biz/ board.☆10Jan 7, 2018Updated 8 years ago
- an animated Mayan Calendar☆12Jan 12, 2014Updated 12 years ago
- This repo would serve as an interface between the different clients and the platform. For API information please refer to the fabric8-ana…☆12Apr 13, 2023Updated 2 years ago
- Server implementation of the board game Go☆13Mar 30, 2019Updated 6 years ago
- ☆48Jul 5, 2019Updated 6 years ago
- Declarative, Compositional Url Handling for WAI☆10Sep 28, 2023Updated 2 years ago
- F2cl - A Fortran 77 to Common Lisp translator☆13Jun 23, 2025Updated 7 months ago
- Photos of U.S. congressional representatives and scrapers used to collect them.☆14Jan 30, 2026Updated 2 weeks ago
- An implementation of a lexically scoped, referentially transparent, minimal Lisp with some added features☆10Mar 30, 2022Updated 3 years ago
- Generator framework for your own Ruby framework☆74Dec 21, 2015Updated 10 years ago
- Universal instruction selection☆12Jun 8, 2018Updated 7 years ago
- Coreboot payload for PC Engines APU2 that sort boot order and save it to flash.☆15May 30, 2025Updated 8 months ago
- A formalization of synthetic algebraic geometry in Agda☆14Jan 5, 2019Updated 7 years ago
- rnsh is a command-line utility written in Python that facilitates shell sessions over Reticulum networks and aims to provide a similar ex…☆12Jan 6, 2026Updated last month
- A program and library for prototyping and debugging PyTorch models in Haskell☆15Aug 11, 2023Updated 2 years ago
- ableist-language-detector☆11Jan 15, 2023Updated 3 years ago
- ☆13Jan 7, 2026Updated last month
- Union mount in Haskell, with fsnotify☆12Dec 23, 2025Updated last month
- A set of macros and functions to make defining a C module easier☆11Sep 9, 2019Updated 6 years ago
- Common blockchain architecture abstractions☆10Jun 9, 2018Updated 7 years ago
- Module based on PocketSphynx to allow simple voice commands when using Anki☆10Oct 12, 2019Updated 6 years ago
- A set of machine learning experiments in Clojure☆30Nov 30, 2012Updated 13 years ago
- A script which allows you to create new host certificates and keys☆11Apr 17, 2023Updated 2 years ago
- Interface for generating Categorical Query Language files to merge/migrate data between databases☆14Aug 9, 2021Updated 4 years ago
- Unicode-only CJKV IDS data☆13Aug 9, 2024Updated last year
- Solução implementada em PHP para a rinha de backend 2025.☆12Aug 18, 2025Updated 5 months ago
- ☆15Oct 23, 2023Updated 2 years ago
- A CoffeScript html generator compatible with CoffeeKup but without the magic.☆27Jul 16, 2013Updated 12 years ago
- Forth package manager for theForthNet☆14Apr 4, 2018Updated 7 years ago
- Type theory + whales and syntax☆11Nov 28, 2019Updated 6 years ago
- ☆11Jul 20, 2016Updated 9 years ago
- transform literate source code to Markdown☆14Dec 19, 2025Updated last month
- base library for GHCJS for JavaScript interaction and marshalling, used by higher level libraries like JSC☆46Jun 30, 2025Updated 7 months ago
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆48Feb 17, 2018Updated 7 years ago