DY* with extrinsic proofs

An experimental library for Cubical Agda

Mathematical Components

the most goated babel plugin

✨ Programming Language Research, Applied PLT & Compilers

Metaprogramming, verified meta-theory and implementation of Coq in Coq

12 weeks, 26 lessons, 52 quizzes, classic Machine Learning for all

A Proof-oriented Programming Language

An interactive mode for F* in VS Code

Nix, the purely functional package manager

Qt 6 Core Intermediate with C++ on Udemy

KeePassXC is a cross-platform community-driven port of the Windows application “Keepass Password Safe”.

Empowering everyone to build reliable and efficient software.

The systemd System and Service Manager

The Mullvad VPN client app for desktop and mobile

An OpenSource, Unicode compliant Bengali Input Method