-
-
-
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedMar 14, 2026 -
c-tools Public
c/c++ tools and FFI generator for Chez, Racket, Guile, Gambit, Chicken Scheme, and Common Lisp
-
swift-sodium Public
Forked from jedisct1/swift-sodiumSafe and easy to use crypto for iOS and macOS
C ISC License UpdatedJan 28, 2026 -
-
microsocks Public
Forked from rofl0r/microsockstiny, portable SOCKS5 server with very moderate resource usage
C Other UpdatedJan 21, 2026 -
stump Public
Forked from stumpapp/stumpA free and open source comics, manga and digital book server with OPDS support (WIP)
TypeScript MIT License UpdatedDec 30, 2025 -
unbound Public
Forked from NLnetLabs/unboundUnbound is a validating, recursive, and caching DNS resolver.
C BSD 3-Clause "New" or "Revised" License UpdatedNov 28, 2025 -
-
xdg-applications Public
Utility to list and search XDG applications.
-
-
claude-desktop-linux-flake Public
Forked from k3d3/claude-desktop-linux-flakeNix Flake for Claude Desktop on Linux
Nix Apache License 2.0 UpdatedJul 15, 2025 -
helix Public
Forked from helix-editor/helixA post-modern modal text editor.
Rust Mozilla Public License 2.0 UpdatedFeb 20, 2025 -
localauth0 Public
Forked from primait/localauth0Mock auth0 service for local development
-
-
home-manager Public
Forked from nix-community/home-managerManage a user environment using Nix [maintainer=@rycee]
Nix MIT License UpdatedJun 13, 2024 -
txproto Public
Forked from cyanreg/txprotoScriptable multimedia sandbox. Captures, streams and records from a variety of sources.
C GNU Lesser General Public License v2.1 UpdatedJun 9, 2024 -
Nix, the purely functional package manager
C++ GNU Lesser General Public License v2.1 UpdatedJun 3, 2024 -
yofi is a minimalistic menu for wayland
Rust MIT License UpdatedMay 27, 2024 -
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection & NixOS
Nix MIT License UpdatedMay 1, 2024 -
emacs-doom-themes Public
Forked from doomemacs/themesAn opinionated pack of modern color-themes
Emacs Lisp MIT License UpdatedApr 5, 2024 -
Sensor-Watch Public
Forked from joeycastillo/Sensor-WatchA board replacement for the classic Casio F-91W wristwatch
C Other UpdatedMar 29, 2024 -
-
-
wireproxy Public
Forked from windtf/wireproxyWireguard client that exposes itself as a socks5 proxy
Go ISC License UpdatedMar 18, 2024 -
-
ledger-mode Public
Forked from jabranham/ledger-modeEmacs Lisp files for interacting with the C++Ledger accounting system
Emacs Lisp GNU General Public License v2.0 UpdatedFeb 24, 2024 -
psptoolchain Public
Forked from pspdev/psptoolchainA script to automatically build an open-source toolchain for PSP homebrew development.
Shell The Unlicense UpdatedFeb 24, 2024 -
ddb_playback_order Public
Forked from cboxdoerfer/ddb_playback_orderA plugin for the DeaDBeeF audio player which displays a combobox to select different playback orders
C UpdatedFeb 24, 2024
{{ message }}