Jon Sterling's repositories
ebproofx
ebproof extended
opam-repository
Main public package repository for opam, the source package manager of OCaml.
ocaml-forester
Mirror of ocaml-forester
TypeTopology
Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.
Second-Brain
A curated list of awesome Public Zettelkastens 🗄️ / Second Brains 🧠 / Digital Gardens 🌱
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).
TaskPaper
TaskPaper parser written in Swift
tree-sitter-langs
Language bundle for Emacs's tree-sitter package
math-translations
Hypertext translations of some classic mathematical papers into English
HoTTEST-Summer-School
HoTTEST Summer School materials
constrain
Responsive, animated figures in JavaScript/HTML canvases
extructures
Finite sets and maps for Coq with extensional equality
HoTT
Homotopy type theory
bravo
Castle Bravo: Experimental HoTT Implementation
.TeXmacs-progs
My TeXmacs configuration files
texmacs
Source Code of GNU TeXmacs, Developers Guide ==>
math-comp
Mathematical Components
coq-synthetic-realizability
Some experiments
latex-ebproof-rules
A package to support combining ebproof with mathpartir