Org export to SKILL.md files

Help keeping ~/.config/emacs clean

Derives the fine structure constant α = 1/137.036 from first principles: the Coherence Learning Rule on the diamond lattice. Zero free parameters. 1.5 ppb precision.

The Lean Computer Science Library (CSLib)

A proof assistant for higher-dimensional type theory

Emacs as a command line tool

A minor-mode menu for the mode line

A Nix flake-parts module for wrapping programs with a sandboxed environment using landrun (Landlock) on Linux, and sandbox-exec on macOS.

A multi-llm Emacs shell (ChatGPT, Claude, DeepSeek, Gemini, Kagi, Ollama, Perplexity) + editing integrations

NEO Emacs (WIP): GPU powered Emacs written in Rust with a modern display engine. Aiming for modern design & multi-threaded Elisp, 10x performance, zero-pause GC and 100% Emacs compatibility.

An Xcode project to add custom sidebar icons to folders on MacOS

Configure Unicode fonts for Emacs

Low level control GUI for the PipeWire multimedia server

Pretty fancy and modern terminal file manager

A highly customizable macOS status bar replacement

Emacs Context Manager

A collection of opinionated keyboard-driven user interfaces for various built-in Emacs modes.

Debug Adapter Protocol for Emacs

Language bundle for Emacs's tree-sitter package

A sharp, readable, vector-y version of Monocraft, the programming font based on Minecraft

A document string minor mode using tree-sitter

What if Kali Linux was a Nix flake?

💻 🔒 🔑 Secure Boot key manager

Draw ─◀UNICODE diagrams▶─ within ─◀your texts▶─ in Emacs

Emacs support for the Kitty Keyboard Protocol

Scalus - Smart contracts & dApps Development Platform for Cardano

Scalus Starter project

Automatically exported from code.google.com/p/trellys