jonsterling/math

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

jonsterling/ocaml-forester

Mirror of ocaml-forester

abuseofnotation/category-theory-illustrated

A book about category theory

awodey/CatLogNotes

Categorical Logic Notes

koaning/notebooks

Notebook for safekeeps

MaulingMonkey/notes

Dumping ground of public notes / journaling

SirensOfTitan/indexer

A org mode note vector search indexer.

isovector/thinking-with-types

📖 source material for Thinking with Types