jonsterling

forest

My mathematical Zettelkasten, created using forester.

agda-calf

A cost-aware logical framework, embedded in Agda.

math

A mini-book on category theory. Superseded by https://github.com/jonsterling/forest

ocaml-forester

Mirror of ocaml-forester

coq-domains

agda-synthetic-domain-theory

math-translations

Hypertext translations of some classic mathematical papers into English

coq-algebra

coq-sgdt

agda-directed-plump-ordering

bibtex-references

coq-synthetic-realizability

Some experiments

latex3-jmsdelim

.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 🌱

bravo

Castle Bravo: Experimental HoTT Implementation

constrain

Responsive, animated figures in JavaScript/HTML canvases

cubical-1

extructures

Finite sets and maps for Coq with extensional equality

HoTT

Homotopy type theory

HoTTEST-Summer-School

HoTTEST Summer School materials

jekyll-sheafy

Generate Gerby-like websites with Jekyll!

math-comp

Mathematical Components

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.

TaskPaper

TaskPaper parser written in Swift

texmacs

Source Code of GNU TeXmacs, Developers Guide ==>

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.