Library for fast text representation and classification.

Free cross-platform password manager compatible with KeePass

A set of Ansible playbooks to build and maintain your own private cloud: email, calendar, contacts, file sync, IRC bouncer, VPN, and more.

🍀 Local git statistics including GitHub-like contributions calendars.

✨ Build a beautiful and simple website in literally minutes. Demo at https://beautifuljekyll.com

A Nmap XSL implementation with Bootstrap.

Better looking fonts for Fedora

Mirror of Software Foundations in PDF

Statements of famous theorems proven in Coq [maintainer=@jmadiot]

A course on formal verification at https://compsciclub.ru/en, Spring term 2021