Functional Linear Algebra with Block Matrices

AI app store powered by 24/7 desktop history. open source | 100% local | dev friendly | 24/7 screen, mic recording

A scrollable-tiling Wayland compositor.

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

Customizable Kanji character charts that are easily printable to help practice writing.

Official inference framework for 1-bit LLMs

git commit --fixup, but automatic

Vim and Neovim plugin to reveal the commit messages under the cursor

A modern Anki custom scheduling based on Free Spaced Repetition Scheduler algorithm

Kanji vector graphics

Search your git history by commit message, content and author in Neovim

A handheld Linux terminal using Raspberry pi Zero 2W as Core with 4" 720X720 TFT display

A Git-compatible VCS that is both simple and powerful

From Geometry to Algebra: A Denotational Journey Through Whole Numbers, Fractions, and DivMod Type

Puzzle: arithmetic via denotational design

Discoveries about my journey of making log bijective

Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.

NixOS modules to aid in configuring NixOS for raspberry pi products

Personal finance app

Powerful terminal based viewer for JSON logs using ncurses.

Bazzite is a custom Fedora Atomic image built with cloud native technology that brings the best of Linux gaming to all of your devices - including your favorite handheld.

A plugin loader for the Steam Deck.

A utility to improve performance and help manage storage on Steam Deck.

Convert PDF to markdown + JSON quickly with high accuracy

Xournal++ is a handwriting notetaking software with PDF annotation support. Written in C++ with GTK3, supporting Linux (e.g. Ubuntu, Debian, Arch, SUSE), macOS and Windows 10. Supports pen input fr…

Simple shell like scripting from Haskell