Le Parlement, comme si vous y étiez

Guarded recursive types in Lean

A fancy, easy-to-use and reactive self-hosted docker compose.yaml stack-oriented manager

Collection of decent Community-made GRUB themes. Contributions welcome!

A W.I.P desktop application for a new typesetting language, typst.

The free and privacy respecting pictionary game - Play at https://scribblers.bios-marcel.link

Raspberry Pi PWM fan controller

jack2 codebase

A soundboard for hot-keying and playing back sounds. (For podcasting)

Code for tweets by @manim_community on twitter

YAML for Java 8 and above. A user-friendly OOP library. Previously known as "Camel".

A community-maintained Python framework for creating mathematical animations.