ofstrings2's Stars
varkor/quiver
A modern commutative diagram editor for the web.
yishn/tikzcd-editor
A simple visual editor for creating commutative diagrams.
kai-qu/notation
Collection of quotes on notation design & how it affects thought.
opencog/atomspace
The OpenCog (hyper-)graph database and graph rewriting system
EgbertRijke/HoTT-Intro
An introductory course to Homotopy Type Theory
prathyvsh/models-of-interaction
Catalogue of models of interaction. Part of the trilogy on models of computers/interaction/computation
liamoc/holbert
A graphical interactive proof assistant designed for education
prathyvsh/networked-notebooks
Hyperlinked notebooks
kb1dds/pysheaf
Python Cellular Sheaf Library
andrejbauer/alg
Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.
QuantumBFS/ZXCalculus.jl
An implementation of ZX-calculus in Julia
DavidJaz/DynamicalSystemsBook
zaklogician/typical-antiphrasis
Paradoxes of type theory, described didactically. With accompanying proofs in Agda.
maxsnew/virtual-equipments
Syntax for Virtual Equipments: a natural syntax for doing synthetic and internal category theory
drever/act-munich
Resource for the applied category theory Munich reading group
noamz/linlam
a library for experimental linear lambda calculus
prathyvsh/learning-topology
Resources for making sense of topology and its concepts
wetneb/sheetshow
A renderer for sheet diagrams in bimonoidal categories
ggreif/seminar-opetope
Short Intro to Opetopes
prathyvsh/history-of-philosophy
Catalog of history of Philosophy
eddiekrystowski/existential-graphs
mmarx/the-exploration-game
chan-j-d/to-do-list
Simple to-do-list to keep track of personal tasks
Sharjeel-Khan/financialCLF
Formalization of financial systems in linear logic
Champitoad/flower-auto
Can ❀ decide intuitionistic propositional logic?
Cody-Le/EXgraph
Cody-Le/penroseTutorialCode
li-s/Existential-Graph-Alpha
Pierce Alpha existential graph
WhenInDoubtC4/EXGraph
zhiayang/peirce-alpha
existential graph editor