Vera: a programming language designed for LLMs to write

Always up-to-date Nix package for Claude Code with hourly updates from Anthropic's native releases

Audio processing library written by Zig-lang

Miscellaneous utilities for Nix management in GT

Open-source OCR and dictionary tool.

This is a layout for the Shavian typist with existing Dvorak muscle memory.

Japanese pitch accent practice tool

OS-wide Keyboard navigation for Linux and Windows

magic-trace collects and displays high-resolution traces of what a process is doing

Linux VR Desktop

'Mouseable' is intended to replace a mouse or trackpad.

Analyze GHC .dump-timings files

A plugin to load GoldSrc maps into Godot

TrinusVR streaming server for Linux

Visualize and analyze data pulled from a snoo

Documentation of my wearable computer

Command line client for Nix binary cache hosting:

Experiments for typing in VR using current generation controllers

Idea Markets

GDExtension-based OpenVR (SteamVR) module

Emacs Lisp Static Analyzer and gradual type system.

An operating system written in Common Lisp

High-powered REPL for Haskell, inspired by IPython

srclib is a polyglot code analysis library, built for hackability. It consists of language analysis toolchains (currently for Go and Java, with Python, JavaScript, and Ruby in beta) with a common o…

🧠 Leon is your open-source personal assistant.

Live recompiler for Haskell

an implementation of BLAKE3 verified streaming

Web application for exploring and understanding Haskell codebases