Dear ImGui: Bloat-free Graphical User interface for C++ with minimal dependencies

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

Mobile Shell

Nix, the purely functional package manager

Compatibility tool for Steam Play based on Wine and additional components

Record and Replay Framework

OpenMW is an open-source open-world RPG game engine that supports playing Morrowind. Main repo and issue tracker can be found here: https://gitlab.com/OpenMW/openmw/

A custom launcher for Minecraft that allows you to easily manage multiple installations of Minecraft at once (Fork of MultiMC)

🍓 Strawberry Music Player

Image viewer. Fast, easy to use. Optional video support.

Lean Theorem Prover

Tray application and Dolphin/Plasma integration for Syncthing

A custom discord client that supports streaming with audio on Linux.

P(R*_{3, 0, 1}) specialized SIMD Geometric Algebra Library

Lean 3 Theorem Prover (community fork)

A FUSE filesystem that allows tools like gdb to look up debug info files via HTTP

Random puzzle generator for The Witness