Lists (1)
Starred repositories
EmDash is a full-stack TypeScript CMS based on Astro; the spiritual successor to WordPress
Legislation as code. Every law as a Markdown file. Every reform as a Git commit.
Spanish legislation as a Git repo — every law is a Markdown file, every reform a commit. 8,600+ laws.
Official Compound Engineering plugin for Claude Code, Codex, and more
Universal property-based testing protocol, built on Hypothesis
Lean 4 Markdown rendering library — types, rendering functions, and Represent typeclass
CLI proxy that reduces LLM token consumption by 60-90% on common dev commands. Single Rust binary, zero dependencies
Property-based testing for web UIs, autonomously exploring and validating correctness properties, finding harder bugs earlier
Entire CLI hooks into your Git workflow to capture AI agent sessions as you work. Sessions are indexed alongside commits, creating a searchable record of how code was written in your repo.
AI agent toolkit: coding agent CLI, unified LLM API, TUI & web UI libraries, Slack bot, vLLM pods
This repository contains my personal collection of Claude Code subagents, skills and other tools - specialized AI assitants designed for specific software engineering tasks.
Kotlin Language Server and plugin for Visual Studio Code
A plain text-based spaced repetition system.
Improve keyboard comfort and usability with advanced customization
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
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