Tuta is an email service with a strong focus on security and privacy that lets you encrypt emails, contacts and calendar entries on all your devices.

Web-enhanced Extensible Neovim Frontend

Lean theorem proving interface which feels like pen-and-paper proofs.

unclutter your .profile

Visual Studio Code extension for the Lean 4 proof assistant

A simple and completely useless simulation of ants colony for web browsers

The Lean 4 web editor

Idris front-end for VS Code

Lean 3 web editor