Lightweight persistent modal interfaces for Emacs

Official git repo for iodine dns tunnel

A TUI for managing crates.

Rust Type Kit (beta) - query your Rust codebase and generate types for everything

yet another rss reader

Rust debugger for Linux x86-64

A collaborative bibliography of work related to the theory and practice of computational effects

Claude Code Emacs integration

Command-line sampling profiler for macOS, Linux, and Windows

Extensible Guile bindings for SwayWM

Finally, a shell for all seasons!

Turso is an in-process SQL database, compatible with SQLite.

(WIP) Zed fork focused on privacy and being local-first

Web outside of Browsers

tree-based source-processing language

lints and suggestions for the nix programming language

Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView

Download images from your Sony DSLR camera via WiFi onto Linux without the crappy mobile app

An overly elaborate example of building a ‘Hello World’ package with Nix flakes, OCaml, and Dune

Unofficial implementation of Titans, SOTA memory for transformers, in Pytorch

Lunatic is an Erlang-inspired runtime for WebAssembly

Official repository for our work on micro-budget training of large-scale diffusion models.

Unbearably fast near-real-time pure-Python runtime-static type-checker.

LLM training in simple, raw C/CUDA

An SQL generator for Common Lisp.

A Gleam web framework for building HTML templates, single page applications, and real-time server components.