Our main website :)

get things from one computer to another, safely

Hilbert Basis Theorem in Coq/Rocq

Adjust color vibrancy of X11 outputs

Persistence of concurrent activities for Gerbil Scheme

Lecture notes on realizability

Tools for writing in a foreign language

Fight fake news with cryptography & human nature

metamath proof enumerators and other things

Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT

An experimental library for Cubical Agda

InstantClick makes following links in your website instant.

Fork of elinks

A benchmark for random memory accesses

VNC client web application

A DSL for the internal language of a topos

Solidarische Nachbarschaftshilfe in Zeiten von Corona

The Open Source kanban, built with Meteor. GitHub issues/PRs are only for FLOSS Developers, not for support, support is at https://wekan.fi/commercial-support/ . New English strings for new feature…

CriticalBikes is a CriticalMaps inspired service to create pools of people who want to bike together

Creative cellular automata browser game

Imaging, analysis, and simulation software for radio interferometry

Kan: A browser extension for reading nLab

Development of the quantum lambda calculus as a higher inductive type

Nix Packages collection & NixOS

Agda is a dependently typed programming language / interactive theorem prover.

Enso Analytics is a self-service data prep and analysis platform designed for data teams.

Notes from Verona