AI-powered job search system built on Claude Code. 14 skill modes, Go dashboard, PDF generation, batch processing.

The best-benchmarked open-source AI memory system. And it's free.

Easy to maintain open source documentation websites.

Pure, statically typed, content-addressable, programming language for spreadsheet use

We all edit.

OCSF Schema

Extism Plug-in development kit (PDK) for Haskell

A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking.

BNF Converter

Generator of runtime monitors for flight and robotics applications.

Run compilers interactively from your web browser and interact with the assembly

Blazing fast, instant realtime GraphQL APIs on all your data with fine grained access control, also trigger webhooks on database events.

Resource gathering + programming game

System for collecting, deriving and working with facts about source code.

The most no-nonsense, locally or API-hosted AI code completion plugin for Visual Studio Code - like GitHub Copilot but 100% free.

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

A course on aligning smol models.

Espial is an open-source, web-based bookmarking server.

Code samples for my book "Haskell Tutorial and Cookbook"

Haskell bindings for tree-sitter

Parsing, analyzing, and comparing source code across many languages

Coding exercises

⚡️ Express inspired web framework written in Go

Haskell implemented with combinators

A generic framework for allowing web applications to support plugins

Modern CSS framework based on Flexbox

Google's Operations Research tools:

Message Header Analyzer Add-in For Outlook

Wazuh - The Open Source Security Platform. Unified XDR and SIEM protection for endpoints and cloud workloads.