TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Conductor is an event driven agentic orchestration platform providing durable and highly resilient execution engine for applications and AI Agents

Generative UI SDK for React

🌐 Deno bindings for webview, a tiny library for creating web-based desktop GUIs

A CLI tool for analyzing Claude Code/Codex CLI usage from local JSONL files.

Co(lab) is a hybrid web browser + local code editor with integrated PTY Terminal and AI designed for startup builders who need to move fast.

Build ultra fast, tiny, and cross-platform desktop apps with Typescript.

Fast starting Clojure runtime built with GraalVM native-image + Crema

A Beautiful Gemini Client

Clojure & ClojureScript Interactive Programming for VS Code

An AI prompting framework

JavaScript to WASM compiler

Package JVM applications (Clojure, Java) into self-contained binaries. No JVM installation required to run the output.

Executable version of Functional Differential Geometry.

Computer Algebra, Physics and Differential Geometry in Clojure.

Distribute and run LLMs with a single file.

A RESTful implementation of charmonator

MCP server for token-efficient large document analysis via the use of REPL state

Braid is a team-chat app with a novel UI that leads to better conversations.

Smalltalk via the Unix filesystem!

A curated list of resources about AI agents for Computer Use, including research papers, projects, frameworks, and tools.

pixel-mosaic converts images into pixel art and preserves features while downscaling

The missing standard library for multithreading in JavaScript (Works in the browser, Node.js, Deno, Bun)

Collapsing Towers of Interpreters (in Scheme)

🔂 Ralph loop with PRs: Run Claude Code in a continuous loop, autonomously creating PRs, waiting for checks, and merging

🔌 Plug-and-play library to enable agents to call MCP and UTCP tools via code execution.