Pinned Repositories
agda-calf
A cost-aware logical framework, embedded in Agda.
dreamtt
A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.
forest
My mathematical Zettelkasten, created using forester.
Githood
A minimal Github client for iOS. No longer actively developed.
JonPRL
An proof refinement logic for computational type theory. Inspired by Nuprl. [For up-to-date development, see JonPRL's successor, RedPRL: https://github.com/redprl/sml-redprl]
math
A mini-book on category theory. Superseded by https://github.com/jonsterling/forest
ocaml-forester
Mirror of ocaml-forester
Tasky
A Taskwarrior client. This was created to fill my own need: feel free to modify it! If it looks really ugly, you probably have your terminal configured wrong.
cooltt
😎TT
redtt
"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
jonsterling's Repositories
jonsterling/forest
My mathematical Zettelkasten, created using forester.
jonsterling/agda-calf
A cost-aware logical framework, embedded in Agda.
jonsterling/math
A mini-book on category theory. Superseded by https://github.com/jonsterling/forest
jonsterling/ocaml-forester
Mirror of ocaml-forester
jonsterling/coq-domains
jonsterling/agda-synthetic-domain-theory
jonsterling/math-translations
Hypertext translations of some classic mathematical papers into English
jonsterling/coq-algebra
jonsterling/coq-sgdt
jonsterling/agda-directed-plump-ordering
jonsterling/bibtex-references
jonsterling/coq-synthetic-realizability
Some experiments
jonsterling/latex3-jmsdelim
jonsterling/.TeXmacs-progs
My TeXmacs configuration files
jonsterling/latex-ebproof-rules
A package to support combining ebproof with mathpartir
jonsterling/Second-Brain
A curated list of awesome Public Zettelkastens 🗄️ / Second Brains 🧠 / Digital Gardens 🌱
jonsterling/bravo
Castle Bravo: Experimental HoTT Implementation
jonsterling/constrain
Responsive, animated figures in JavaScript/HTML canvases
jonsterling/cubical-1
jonsterling/extructures
Finite sets and maps for Coq with extensional equality
jonsterling/HoTT
Homotopy type theory
jonsterling/HoTTEST-Summer-School
HoTTEST Summer School materials
jonsterling/jekyll-sheafy
Generate Gerby-like websites with Jekyll!
jonsterling/math-comp
Mathematical Components
jonsterling/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).
jonsterling/opam-repository
Main public package repository for opam, the source package manager of OCaml.
jonsterling/TaskPaper
TaskPaper parser written in Swift
jonsterling/texmacs
Source Code of GNU TeXmacs, Developers Guide ==>
jonsterling/tree-sitter-langs
Language bundle for Emacs's tree-sitter package
jonsterling/TypeTopology
Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.