mattecapu

opendrop

An open Apple AirDrop implementation written in Python

elk

A nimble Mastodon web client

quiver

A modern commutative diagram editor for the web.

mathlib

Lean 3's obsolete mathematical components library: please use mathlib4

saltcorn

Free and open source no-code application builder

comfortable-swipe

Comfortable 3-finger and 4-finger swipe gesture using Xdotool in native C++

amulet

An ML-like functional programming language

1lab

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

Category_Theory_Resources

List of resources for learning Category Theory

rzk

An experimental proof assistant based on a type theory for synthetic ∞-categories.

coda

A language experiment -- irc.freenode.net ##coda

TypOS

being an operating system for typechecking processes

node-ical

NodeJS class for parsing iCalendar/ICS files

poly

EPIT-2020

EPIT 2020 - Spring School on Homotopy Type Theory

regitable

reGitable - backup your reMarkable using git.

vehicle

A toolkit for enforcing logical specifications on neural networks

zulip-archive

Generate a static HTML archive of messages in any combination of streams in a Zulip organization.

virtual-equipments

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

cring

Johan's clone of the cring repository from http://cring.adeel.ru/

agda-metric-reals

setup-agda

Set up a specific version of Agda for your GitHub Actions workflow.

latex-dieudonne

A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.

ask

being a particular fragment of Haskell, extended to a proof system

string-diagrams

Create string diagrams with LaTeX!

PathComposer

Implements a compositional algorithm for computing shortest paths on weighted graphs

RegNets.jl

Regulatory networks

Dialectica

2022 AMS MRC on Applied Category Theory.

elements

Source of the open source book Elements of Cybernetics

compositionality-latex-template

The Compositionality article class.