A gently curated list of companies using verification formal methods in industry

Temporal service

a dead simple programming model for the cloud

Download documents of Ian's products

DuckDB is an analytical in-process SQL database management system

A post-modern modal text editor.

Java for Rust

Free and open source code of the Tournesol platform. Learn more about the project on our Wiki https://wiki.tournesol.app/ or meet the community on Discord https://discord.gg/WvcSG55Bf3

A light black and white vim colorscheme with sparse use of color

A collection of shell scripts to ease the use of i3wm

A very minimal but elegant emacs (I think)

Config files for linux (debian based)

Stylesheets for PlantUML

Projet IUT

A theme manager and generator written in bash

A fast and easy-to-use status bar