Nyemtaay is a CLI python package for calcuating pop-gen stats and information theory metrics from fasta files.

Categorical Query Language IDE

A toolkit for higher-dimensional diagram rewriting.

A proof assistant for higher-dimensional type theory

Generic programming for Scala

A DSL for the internal language of a topos

The theory of groups

A digital archive of category theory papers.

Guidelines and training material to write secure smart contracts

HoTTEST Summer School materials

Compositional Linear Algebra

SuiteSparse:GraphBLAS: graph algorithms in the language of linear algebra. For production: (default) STABLE branch. Code development: ask me for the right branch before submitting a PR. video intro…

A curated list of multi party computation resources and links.

The collected works of F. W. Lawvere

plasTeX plugin to build formalization blueprints.

Python wrapper for the Zendesk API

An introductory course to Homotopy Type Theory

A very simple shared memory dict implementation

Python package for information theory.

Proof of concept for identity derived from zerowallet

Take a modern Python codebase to the next level of performance.

Python module for reading CO2 concentration from a Senseair S8 sensor connected to a Raspberry Pi

A modern commutative diagram editor for the web.

Provides a simple interface to evaluating Emacs Lisp expressions but without contaminating current Emacs.