Repositories
65
 Projects Packages Code
Filter
Sort
nixos.nixpkgs
Nix 0 0
Nix Packages collection & NixOS
hacktoberfest linux nix nixos nixpkgs
Updated 2026-09-02 00:14:26 +00:00
leanprover-community.mathlib4
Lean 0 0
The math library of Lean 4
lean4
Updated 2026-09-01 23:57:53 +00:00
containers.podman
Go 0 0
Podman: A tool for managing OCI containers and pods.
containers docker kubernetes linux oci
Updated 2026-09-01 22:05:38 +00:00
papra-hq.papra
TypeScript 0 0
The minimalistic document archiving platform.
app archive document documents self-hosted
Updated 2026-09-01 20:20:35 +00:00
leanprover-community.batteries
Lean 0 0
The "batteries included" extended library for the Lean programming language and theorem prover
lean lean4
Updated 2026-09-01 19:29:22 +00:00
leanprover-community.mathlib4-nightly-testing
Lean 0 0
nightly-testing and lean-pr-testing branches of Mathlib
Updated 2026-09-01 19:14:18 +00:00
ValveSoftware.Proton
C++ 0 0
Compatibility tool for Steam Play based on Wine and additional components
proton
Updated 2026-09-01 18:34:45 +00:00
OpenEnroth.OpenEnroth
C++ 0 0
Open reimplementation of Might and Magic 6 7 8 game engine
Updated 2026-09-01 16:43:01 +00:00
awesome-selfhosted.awesome-selfhosted
0 0
A list of Free Software network services and web applications which can be hosted on your own servers
awesome awesome-list cloud free-software hosting privacy self-hosted selfhosted
Updated 2026-09-01 16:02:42 +00:00
rotators.Fo1in2
OMNeT++ MSG 0 0
Fallout 1 to 2 engine conversion
fallout fallout1 fallout2
Updated 2026-09-01 15:03:25 +00:00
chaotic-cx.nyx
Nix 0 0
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).
bleeding-edge nix nix-flakes
Updated 2026-09-01 14:52:59 +00:00
bottlesdevs.bottles-next
Nix 0 0
Central repository for Bottles Next
Updated 2026-09-01 11:40:46 +00:00
ngi-nix.forge
Nix 0 0
Software distribution system for projects funded via Next Generation Internet (NGI)
build-with-buildbot
Updated 2026-09-01 11:21:59 +00:00
fallout2-ce.fallout2-ce
C++ 0 0
Fallout 2 for modern operating systems
Updated 2026-09-01 10:14:51 +00:00
doitsujin.dxvk
C++ 0 0
Vulkan-based implementation of D3D8, 9, 10 and 11 for Linux / Wine
d3d11 d3d9 dxbc gaming linux spir-v vulkan wine
Updated 2026-09-01 09:36:30 +00:00