Filter

Clear filters

Archived Not archived

Forks Not forks

Mirrors Not mirrors

Templates Not templates

Private Public

Sort

Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks Smallest size Largest size

GitLab/ nobodyinperson.yannix

Nix 0 0

Yann's nix library, packages, utilities, etc.

Updated 2026-07-04 15:22:24 +00:00

GitHub/ nixos.nixpkgs

Nix 0 0

Nix Packages collection & NixOS

hacktoberfest linux nix nixos nixpkgs

Updated 2026-07-04 11:01:58 +00:00

GitHub/ leanprover-community.batteries

Lean 0 0

The "batteries included" extended library for the Lean programming language and theorem prover

lean lean4

Updated 2026-07-04 10:49:10 +00:00

GitHub/ leanprover-community.mathlib4

Lean 0 0

The math library of Lean 4

lean4

Updated 2026-07-04 10:25:02 +00:00

GitHub/ 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-07-04 09:45:10 +00:00

GitHub/ leanprover-community.mathlib4-nightly-testing

Lean 0 0

nightly-testing and lean-pr-testing branches of Mathlib

Updated 2026-07-04 09:34:59 +00:00

GitHub/ ValveSoftware.Proton

C++ 0 0

Compatibility tool for Steam Play based on Wine and additional components

proton

Updated 2026-07-04 09:23:22 +00:00

GitHub/ yacy.yacy_search_server

Java 0 0

Distributed Peer-to-Peer Web Search Engine and Intranet Search Appliance

decentralized intranet-search intranet-search-engine p2p p2p-network privacy privacy-protection search-engine searchengine web websearch web-search-engine webseearch-engine

Updated 2026-07-04 08:57:22 +00:00

GitHub/ 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-07-04 08:24:59 +00:00

GitHub/ 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-07-04 08:16:03 +00:00

mohamed/ amruthpillai.reactive-resume

TypeScript 0 0

A one-of-a-kind resume builder that keeps your privacy in mind. Completely secure, customizable, portable, open-source and free forever. Try it out today!

better-auth hacktoberfest react resume resume-builder self-hosted tailwindcss tanstack-start

Updated 2026-07-04 07:30:15 +00:00

GitHub/ fallout2-ce.fallout2-ce

C++ 0 0

Fallout 2 for modern operating systems

Updated 2026-07-04 05:01:38 +00:00

mohamed/ lxc.incus

Go 0 0

Powerful system container and virtual machine manager

cloud containers hacktoberfest virtual-machines

Updated 2026-07-04 04:13:49 +00:00

GitHub/ ouch-org.ouch

Rust 1 0

Painless compression and decompression in the terminal

cli compression decompression hacktoberfest rust

Updated 2026-07-04 02:08:32 +00:00

GitHub/ GothenburgBitFactory.timewarrior

C++ 0 0

Timewarrior - Commandline Time Tracking and Reporting

cli time-tracker timetracker time-tracking timetracking timewarrior

Updated 2026-07-03 23:42:33 +00:00

GitHub/ papra-hq.papra

TypeScript 0 0

The minimalistic document archiving platform.

app archive document documents self-hosted

Updated 2026-07-03 21:57:16 +00:00

archive/ wine.wine

C 0 0

Wine development tree

Updated 2026-07-03 21:29:29 +00:00

mohamed/ funkwhale.funkwhale

Python 0 0

Unified repository for both the API and the front-end

Updated 2026-07-03 15:45:19 +00:00

GitHub/ containers.podman

Go 0 0

Podman: A tool for managing OCI containers and pods.

containers docker kubernetes linux oci

Updated 2026-07-03 14:42:40 +00:00

GitHub/ WinterSnowfall.d7vk

C++ 0 0

Vulkan-based implementation of D3D7, 6 and 5 for Linux / Wine, spun off from DXVK.

Updated 2026-07-03 14:24:03 +00:00