Spatial canvas for denote

A fast, keyboard-first, local-only spreadsheet for people who care about flow.

Development repo for translating Software Foundations to Lean

Optimised ForceAtlas2 simulation using librsvg to allow dynamic graphs directly within emacs buffers without a browser engine.

View .docx tracked changes and comments in Emacs, rendered as org-mode

Racing to the bottom of CPU performance

Mathematical animations for the web — Manim in TypeScript

Userspace macOS translation layer for Linux ARM64

Gemma 4 26B-A4B inference in ~2 GB of RAM on any M-series MacBook

Navigate your entire screen without touching the mouse.

MacOS big sur theme for kde plasma

A native iOS client for remote tmux workspaces, designed to feel natural on iPhone.

Native LSP multiplexer for Eglot

This is a version of emacs implemented purely from Unix shell commands

A QR code generator in a TrueType font: https://qr.jim.sh/

High performance self-hosted photo and video management solution.

Major mode for Lean

Translate C macros and condtional compilation to Rust

Cpp2Rust: Automatic Translation of C++ to Safe Rust

GNU Emacs with a GPU-accelerated display backend

SVG-rendered tab-bar, tab-line, header-line and mode-line for Emacs

A command-line benchmarking tool

GoAccess is a real-time web log analyzer and interactive viewer that runs in a terminal in *nix systems or through your browser.

A professional, DIN 5008 compliant invoice template for Typst with automatic calculations, EPC-QR-Code (GiroCode), and ZUGFeRD e-invoicing support.

Control the mouse pointer with the keyboard on Wayland.

Keyboard driven mouse control for Linux and macOS

Search DBLP by author name and browse their publications.

A carefully crafted Org exporter back-end for Zola

Automated data broker opt-out runner — removes your personal info from 30+ people-search sites on a monthly schedule