A plain text-based spaced repetition system.

Improve keyboard comfort and usability with advanced customization

My Karabiner Elements configuration

Java Parquet serialization and deserialization library using Java 17 Records

Command line tool for managing Garmin workouts.

Access large language models from the command-line

🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types

Concatenate a directory full of files into a single prompt for use with LLMs

What makes Paxos tick?

Graft is an open-source transactional storage engine optimized for lazy, partial, and strongly consistent replication—perfect for edge, offline-first, and distributed applications.

High performance I/O library for Java using io_uring under the hood

Chat with your notes & see links to related content with AI embeddings. Use local models or 100+ via APIs like Claude, Gemini, ChatGPT & Llama 3

📚 A curated list of papers for Software Engineers

Kotlin language support for Visual Studio Code

MapDB provides concurrent Maps, Sets and Queues backed by disk storage or off-heap-memory. It is a fast and easy to use embedded Java database engine.

🌸 A command-line fuzzy finder

Any model. Any hardware. Zero compromise. Built with @ziglang / @openxla / MLIR / @bazelbuild

Language Server Protocol implementation written in Rust

MIRROR of: https://codeberg.org/mfussenegger/nvim-jdtls

Turns IntelliJ IDEA into a generic LSP server

Macro-based string templating.

Computational geometry and spatial indexing on the sphere

Experiments in building "better" languages and tools; for some measure of better.

A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust

A terminal workspace with batteries included

My Karabiner-Elements config in karabiner.ts

Distributed, offline-first bug tracker embedded in git

A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

A mode for editing Kotlin files based on tree-sitter