GitHub
Lean web editor
Updated 2026-10-28 19:36:46 +00:00
A simple REPL for Lean 4, returning information about errors and sorries.
Updated 2026-10-28 13:15:09 +00:00
Taskwarrior - Command line Task Management
Updated 2026-10-26 22:40:28 +00:00
CRM for the personal life
Updated 2026-10-26 22:40:10 +00:00
Fallout 1 to 2 engine conversion
Updated 2026-10-26 09:44:52 +00:00
Server to host lean games.
Updated 2026-10-24 21:19:42 +00:00
Symlinks and syncs browser profile dirs to RAM thus reducing HDD/SDD calls and speeding-up browsers.
Updated 2026-10-24 20:12:31 +00:00
Compatibility tool for Steam Play based on Wine and additional components
Updated 2026-10-23 12:53:19 +00:00
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-10-23 09:44:36 +00:00
Fallout 4 mod for diversing everybody in Commonwealth. Based on CommonLibF4 by Ryan McKenzie
Updated 2026-10-23 03:15:50 +00:00
Visual Studio Code Server support in NixOS
Updated 2026-10-22 11:37:37 +00:00
Free and Open Source Alternative to Splitwise. Share expenses with your friends and family.
Updated 2026-10-22 09:11:31 +00:00
Painless compression and decompression in the terminal
Updated 2026-10-19 23:43:44 +00:00