Stars
Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data
A proof assistant and a dependently-typed language
egg is a flexible, high-performance e-graph library
Mirror of https://gitlab.redox-os.org/redox-os/redox