Jon Sterling's repositories
ocaml-forester
Mirror of ocaml-forester
math-translations
Hypertext translations of some classic mathematical papers into English
coq-synthetic-realizability
Some experiments
.TeXmacs-progs
My TeXmacs configuration files
latex-ebproof-rules
A package to support combining ebproof with mathpartir
Second-Brain
A curated list of awesome Public Zettelkastens 🗄️ / Second Brains 🧠 / Digital Gardens 🌱
extructures
Finite sets and maps for Coq with extensional equality
HoTTEST-Summer-School
HoTTEST Summer School materials
jekyll-sheafy
Generate Gerby-like websites with Jekyll!
obsidian-influx
An alternative backlinks plugin, which displays relevant and formatted excerpts from notes with linked mentions, based on the position of mentions in the notes' hierarchical structure (bullet level indentation).
opam-repository
Main public package repository for opam, the source package manager of OCaml.
tree-sitter-langs
Language bundle for Emacs's tree-sitter package
TypeTopology
Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.