Extract clean conversation logs from Claude Code's internal storage

Document scanning app

Text-based user interface (TUI) frontend for parted: A simple, user-friendly utility for creating, reorganizing, and deleting disk partitions, based on Turbo/Free Vision application framework.

A Go unikernel running on x86 bare metal

Internet Computer File System

Type Checking in Lean 4

Highlight and capture the web in your favorite browser. The official Web Clipper extension for Obsidian.

Fil-C as a Nix C/C++ toolchain and cross platform

A standard interface for TypeScript schema validation libraries

JavaScript/TypeScript-native, low-boilerplate, object-capability RPC system

Static low-bandwidth search at scale

An open-source AI agent that brings the power of Gemini directly into your terminal.

Simple microKanren implementation in Idris.

A lightweight TUI application to view and query tabular data files, such as CSV, TSV, and parquet.

A starter template to build lightning fast websites with Ghost & Gatsby

💎 Amber the programming language compiled to Bash

Smalltalk development in your browser and Node.js

GitHub Pages website for my es-search-references project

An implementation of ECMA-262 in JavaScript

Zotero plugin providing some additional editing features

A fast and powerful log viewer and processor that converts JSON logs or logfmt logs into a clear human-readable format.

Kani Rust Verifier

ECMAScript verification with SMT solvers

Open Location Code is a library to generate short codes, called "plus codes", that can be used as digital addresses where street addresses don't exist.

This command line converts .eml file to .epub

Query anything (GitHub, Notion, +40 more) with SQL and let LLMs (ChatGPT, Claude) connect to using MCP

Index your Gmail account to a SQLite DB and play with the data.

git commit --fixup, but automatic

Facilities for async programming and communication in Clojure