Repositories
65
 Projects Packages Code
Filter
Sort
xhos.nix
Nix 0 0
nixos configs for ~5 hosts + homelab
flakes homelab nix nixos
Updated 2026-08-30 03:35:08 +00:00
leanprover-community.NNG4
Lean 0 0
Natural Number Game
lean4
Updated 2026-08-30 01:41:42 +00:00
KieronQuinn.Smartspacer
Kotlin 0 0
Smartspacer is a customisable widget for Android, but with a difference: It can upgrade the built in At a Glance on Pixels - without root!
Updated 2026-08-29 21:49:07 +00:00
lutris.lutris
Python 0 0
Lutris desktop client
game-launcher gaming
Updated 2026-08-29 18:45:07 +00:00
gkapfham.nixos
Nix 0 0
🔋 NixOS Configuration Files for the Framework 13 AMD Laptop
framework-laptop nix nixos nixos-configuration
Updated 2026-08-29 16:24:29 +00:00
Malekitsu.Maw-Mod-MMMerge
Lua 0 0
Maw Mod code adapted for MMMerge
Updated 2026-08-29 14:47:21 +00:00
GothenburgBitFactory.timewarrior
C++ 0 0
Timewarrior - Commandline Time Tracking and Reporting
cli time-tracker timetracker time-tracking timetracking timewarrior
Updated 2026-08-29 14:00:12 +00:00
GothenburgBitFactory.taskwarrior
C++ 0 0
Taskwarrior - Command line Task Management
gtd task-manager taskwarrior todo to-do-list
Updated 2026-08-28 20:30:05 +00:00
antonWetzel.typst-languagetool
Rust 0 0
LanguageTool Integration for Typst for spell and grammer check
cli grammer-checker jni languagetool rust spellchecker typst
Updated 2026-08-28 12:39:33 +00:00
digama0.leangz
Rust 0 0
Lean 4 .olean file (de)compressor
Updated 2026-08-27 05:11:20 +00:00
NoAbleEngles.DiverseBodiesRedux
C++ 0 0
Fallout 4 mod for diversing everybody in Commonwealth. Based on CommonLibF4 by Ryan McKenzie
Updated 2026-08-25 22:58:07 +00:00
fbuchner.meerkat-crm
Go 0 0
CRM for the personal life
contact-management self-hosted
Updated 2026-08-25 04:54:02 +00:00
Audiveris.audiveris
Java 0 0
Latest generation of Audiveris OMR engine
java open-source optical-music-recognition
Updated 2026-08-24 17:05:19 +00:00
BGforgeNet.FO2tweaks
Pascal 0 0
Fallout 2 tweaks
fallout fallout2
Updated 2026-08-22 10:06:10 +00:00
leanprover-community.repl
Lean 0 0
A simple REPL for Lean 4, returning information about errors and sorries.
Updated 2026-08-21 22:24:29 +00:00