Repositories
59
 Projects Packages Code
Filter
Sort
xhos.nix
Nix 0 0
nixos configs for ~5 hosts + homelab
flakes homelab nix nixos
Updated 2026-06-28 13:54:36 +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-06-28 08:24:42 +00:00
leanprover-community.lean4web
TypeScript 0 0
Lean web editor
lean4
Updated 2026-06-27 22:16:47 +00:00
leanprover-community.lean4game
TypeScript 0 0
Server to host lean games.
lean4 react
Updated 2026-06-27 21:00:25 +00:00
Audiveris.audiveris
Java 0 0
Latest generation of Audiveris OMR engine
java open-source optical-music-recognition
Updated 2026-06-27 14:27:20 +00:00
digama0.leangz
Rust 0 0
Lean 4 .olean file (de)compressor
Updated 2026-06-27 14:23:24 +00:00
gkapfham.nixos
Nix 0 0
🔋 NixOS Configuration Files for the Framework 13 AMD Laptop
framework-laptop nix nixos nixos-configuration
Updated 2026-06-24 19:51:01 +00:00
ModOrganizer2.modorganizer
C++ 0 0
Mod manager for various PC games. Discord Server: https://discord.gg/ewUVAqyrQX if you would like to be more involved
Updated 2026-06-22 18:20:18 +00:00
leanprover-community.repl
Lean 0 0
A simple REPL for Lean 4, returning information about errors and sorries.
Updated 2026-06-19 11:45:09 +00:00
OpenEnroth.OpenEnroth
C++ 0 0
Open reimplementation of Might and Magic 6 7 8 game engine
Updated 2026-06-17 21:02:53 +00:00
BookCatKid.TablissNG
TypeScript 0 0
My version of Tabliss that I will be maintaining in the future. A beautiful, customisable New Tab page for Firefox, Chrome, and Edge.
Updated 2026-06-05 03:15:57 +00:00
alexbatalov.arcanum-ce
C 0 0
Arcanum for modern operating systems
arcanum c game isometric
Updated 2026-05-26 19:04:48 +00:00
AlexKontorovich.RealAnalysisGame
Lean 0 0
RealAnalysisGame
Updated 2026-05-22 20:28:10 +00:00
iquercorb.OpenModMan
C++ 0 0
Open Mod Manager - Open source and generic Mod ("Modifications") manager.
Updated 2026-05-18 09:09:18 +00:00
naggie.dstask
Go 0 0
Git powered terminal-based todo/note manager -- markdown note page per task. Single binary!
bash cli command-line git gtd notes notes-app notes-management-system notes-tool sync task taskwarrior terminal terminal-based todo zsh
Updated 2026-05-11 06:48:13 +00:00