jonsterling
Follow
-
-
AquaUI Public
A library for producing HIG-compliant user interfaces for the Macintosh with Aqua styling
-
forest Public
My mathematical Zettelkasten, created using forester.
-
datalog Public
Forked from c-cube/datalogAn in-memory datalog implementation for OCaml.
-
-
htmx Public
Forked from bigskysoftware/htmx</> htmx - high power tools for HTML
JavaScript Other UpdatedSep 22, 2024 -
-
opam-repository Public
Forked from ocaml/opam-repositoryMain public package repository for opam, the source package manager of OCaml.
Shell Creative Commons Zero v1.0 Universal UpdatedAug 26, 2024 -
dream-html Public
Forked from yawaramin/dream-htmlRender HTML, SVG, MathML, htmx markup from your OCaml app
OCaml GNU General Public License v3.0 UpdatedAug 21, 2024 -
agda-calf Public
A cost-aware logical framework, embedded in Agda.
-
ocaml-forester Public
Mirror of ocaml-forester
-
ebproofx Public
Forked from Zeta611/ebproofxebproof extended
TeX LaTeX Project Public License v1.3c UpdatedJun 3, 2024 -
-
TypeTopology Public
Forked from martinescardo/TypeTopologyLogical manifestations of topological concepts, and other things. This version adopts the univalent point of view.
Agda GNU General Public License v3.0 UpdatedOct 20, 2023 -
Second-Brain Public
Forked from KasperZutterman/Second-BrainA curated list of awesome Public Zettelkastens 🗄️ / Second Brains 🧠 / Digital Gardens 🌱
-
obsidian-influx Public
Forked from jensmtg/influxAn 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…
TypeScript MIT License UpdatedApr 10, 2023 -
math Public
A mini-book on category theory. Superseded by https://github.com/jonsterling/forest
-
TaskPaper Public
Forked from dmcarth/TaskPaperTaskPaper parser written in Swift
Swift UpdatedNov 7, 2022 -
tree-sitter-langs Public
Forked from emacs-tree-sitter/tree-sitter-langsLanguage bundle for Emacs's tree-sitter package
Emacs Lisp MIT License UpdatedOct 16, 2022 -
math-translations Public template
Hypertext translations of some classic mathematical papers into English
-
HoTTEST-Summer-School Public
Forked from martinescardo/HoTTEST-Summer-SchoolHoTTEST Summer School materials
TeX UpdatedAug 22, 2022 -
constrain Public
Forked from andrewcmyers/constrainResponsive, animated figures in JavaScript/HTML canvases
JavaScript UpdatedJul 27, 2022 -
-
-
extructures Public
Forked from arthuraa/extructuresFinite sets and maps for Coq with extensional equality
Coq MIT License UpdatedJun 24, 2022 -
-
-
bravo Public
Forked from forked-from-1kasper/bravoCastle Bravo: Experimental HoTT Implementation
OCaml UpdatedMay 14, 2022 -
-