Mirror of gti.telent.net:dan/liminix

A markdown based tool for slide deck creation.

A simple, stateless NixOS deployment tool

A simple tool to debug OpenID IdPs

Proxy to convert HTML responses from linguee.com to JSON format

Elegant music streaming app

Catima, a Loyalty Card & Ticket Manager for Android

💥 Blazing fast terminal file manager written in Rust, based on async I/O.

NixOS MicroVMs

Pure Go implementation of jq

A TUI playground to experiment with jq

Rewrap extension for VSCode and Visual Studio

nix modules for darwin

a structural diff that understands syntax 🟥🟩

Supports the Neo2-Layout on physical keyboards.

Backdate a commit or range of commit to a date or range of dates.

wayland clipboard manager with support for multimedia

Comma runs software without installing it. [maintainers=@Artturin,@burke,@DavHau]

Weekly updated nix-index database [maintainer=@Mic92]

ZilchOS Core, a decidedly tiny Nix-based distro to play with

Nix-enabled environment for your Android device. [maintainers=@t184256,@Gerschtli]

install nixos everywhere via ssh [maintainer=@numtide]

a high performance, general purpose data compressor written in the crab-lang

The Iosevka Iaso font set

A Nix flake for many AI projects

A from scratch redesign of LanguageTool integration for VS Code.

Quickly locate nix packages with specific files [maintainers=@bennofs @figsoda @raitobezarius]

Program to rename, remove, and copy files and directories using your editor

agda-mode on VS Code

An experimental library for Cubical Agda