A fast, friendly, functional language.

A post-modern modal text editor.

Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data

A proof assistant and a dependently-typed language

The collected works of F. W. Lawvere

papers of Per Martin Löf

egg is a flexible, high-performance e-graph library

Categorical Logic Notes

Mirror of https://gitlab.redox-os.org/redox-os/redox