ofstrings2

flower-auto

Can ❀ decide intuitionistic propositional logic?

existential-graphs

to-do-list

Simple to-do-list to keep track of personal tasks

atomspace

The OpenCog (hyper-)graph database and graph rewriting system

notation

Collection of quotes on notation design & how it affects thought.

Existential-Graph-Alpha

Pierce Alpha existential graph

peirce-alpha

existential graph editor

EXGraph

penroseTutorialCode

EXgraph

the-exploration-game

models-of-interaction

Catalogue of models of interaction. Part of the trilogy on models of computers/interaction/computation

financialCLF

Formalization of financial systems in linear logic

learning-topology

Resources for making sense of topology and its concepts

quiver

A modern commutative diagram editor for the web.

networked-notebooks

Hyperlinked notebooks

holbert

A graphical interactive proof assistant designed for education

act-munich

Resource for the applied category theory Munich reading group

DynamicalSystemsBook

typical-antiphrasis

Paradoxes of type theory, described didactically. With accompanying proofs in Agda.

alg

Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.

HoTT-Intro

An introductory course to Homotopy Type Theory

virtual-equipments

Syntax for Virtual Equipments: a natural syntax for doing synthetic and internal category theory

seminar-opetope

Short Intro to Opetopes

pysheaf

Python Cellular Sheaf Library

history-of-philosophy

Catalog of history of Philosophy

tikzcd-editor

A simple visual editor for creating commutative diagrams.

linlam

a library for experimental linear lambda calculus

ZXCalculus.jl

An implementation of ZX-calculus in Julia

sheetshow

A renderer for sheet diagrams in bimonoidal categories