Visual programming editor based on data transformation

the extensible, customizable, self-documenting, real-time multi-agent computing environment

bi-directional reactive programming

The agent that grows with you

Interactive live visualizer for gepa runs

Evaluating how well language models write prompts for other language models in various settings, including sub-calling, LM-as-a-judge, and others!

A Unified Virtual Filesystem For AI Agents

Easy bindings between Lean and Python.

Chiasmus is an MCP server that gives language models access to formal verification

an implementation of the ideas in Erik Meijer's "Guardians of the Agents: Formal Verification of AI Workflows" (Communications of the ACM, January 2026)

Native space switching on macOS with no animation

Statistical analysis methods for comparing prompt and model performance in LLM evaluations.

Fast, accurate & comprehensive text measurement & layout

Use WebDriver from the command line

A desktop app for using tldraw with local files.

A tiling layout engine for egui with drag-and-drop and resizing

surreal cellular automata

A relative time formatting library, with no code.

AI agents running research on single-GPU nanochat training automatically

Give Claude Code a subconscious

Agent skill that generates rich HTML pages or slide decks for diagrams, diff reviews, plan audits, data tables, and project recaps

👌 Drag and drop so simple it hurts

Git-aware navigation for VS Code: a tree of recent changes, a branch-relative blame heatmap, branch compare, pickaxe diff search, and a resurrect-deleted-files button.

A lightweight alternative to OpenClaw that runs in containers for security. Connects to WhatsApp, Telegram, Slack, Discord, Gmail and other messaging apps,, has memory, scheduled jobs, and runs dir…

The Visual JSON Editor. Schema-aware, embeddable, extensible.

Can 🌸 be turned into a direct manipulation GUI for theorem proving?