A list of Free Software network services and web applications which can be hosted on your own servers
Updated 2026-07-04 18:42:05 +00:00
Lutris desktop client
Updated 2026-07-04 16:03:22 +00:00
The minimalistic document archiving platform.
Updated 2026-07-04 15:53:45 +00:00
Fallout 2 for modern operating systems
Updated 2026-07-04 14:42:25 +00:00
Compatibility tool for Steam Play based on Wine and additional components
Updated 2026-07-04 14:23:26 +00:00
Vulkan-based implementation of D3D8, 9, 10 and 11 for Linux / Wine
Updated 2026-07-04 13:42:42 +00:00
Nix Packages collection & NixOS
Updated 2026-07-04 11:01:58 +00:00
The "batteries included" extended library for the Lean programming language and theorem prover
Updated 2026-07-04 10:49:10 +00:00
The math library of Lean 4
Updated 2026-07-04 10:25:02 +00:00
Nix flake for "too much bleeding-edge" and unreleased packages (e.g., mesa_git, linux_cachyos, firefox_nightly, sway_git, gamescope_git). And experimental modules (e.g., HDR, duckdns).
Updated 2026-07-04 09:45:10 +00:00
nightly-testing and lean-pr-testing branches of Mathlib
Updated 2026-07-04 09:34:59 +00:00
Painless compression and decompression in the terminal
Updated 2026-07-04 02:08:32 +00:00
Timewarrior - Commandline Time Tracking and Reporting
Updated 2026-07-03 23:42:33 +00:00
Podman: A tool for managing OCI containers and pods.
Updated 2026-07-03 14:42:40 +00:00