A GEPA proposer with less overfitting and helpful parameters.

Tricorder provides simple, fast, focused feedback when hacking on Haskell (with or without LLM agents).

Hasty plotting for Altair, inspired by ggplot2's qplot.

An example Haskell web application

Tool to help with learning svalboard typing

Property-based testing for web and terminal UIs

The most flexible control plane for AI Agent systems

⌥ AI Coding agent for the terminal — hash-anchored edits, optimized tool harness, LSP, Python, browser, subagents, and more

Swipe to change AeroSpace workspaces

just like spatz... but for svelte5, with shadcn-svelte, svelte-animations, svelte-superforms, stripe payments, subscriptions, content-filtering, and more.

A Claude or Codex skill for deliberate skill development during AI-assisted coding

A zero-config, fast and small (~3kB) virtual list (and grid) component for React, Vue, Solid, Svelte and Angular.

Haskell Formlets

Coq based JSON-Schema to SMT system.

Why is this running? Trace any process, port, container, or file back to what started it - CLI + TUI.

A focused launcher for your desktop - native, fast, extensible

Research code artifacts for Code World Model (CWM) including inference tools, reproducibility, and documentation.

An experimental library for metaprogramming with algebraic effects and handlers

Val Town's LSP powered editor. A Codemirror LSP client implementation and LSP proxy and WebSocket server

Claude Code LSP: enhance your Claude Code experience with non-IDE dependent LSP integration.

Language Server integration for CodeMirror 6

A reliable and performant cached directory tree in rust that can notify changes without dropping events

A user-friendly, dependently-typed library for asking your users questions

Remove outdated compilation artefacts left by cabal v2-build