Kanidm: A simple, secure, and fast identity management platform
Updated 2026-11-01 03:19:47 +00:00
A mathematically sound version control system based on patch theory
Updated 2026-10-30 19:10:34 +00:00
Fallout DAT Tool
Updated 2026-10-30 16:30:23 +00:00
Lean 4 .olean file (de)compressor
Updated 2026-10-29 18:48:02 +00:00
Painless compression and decompression in the terminal
Updated 2026-10-19 23:43:44 +00:00
LanguageTool Integration for Typst for spell and grammer check
Updated 2026-08-28 12:39:33 +00:00
Nix flakes interactive template builder based on flake-parts written in Rust. [maintainer=@tsandrini]
Updated 2025-11-24 18:54:54 +00:00