One abstraction for state machines, resource flows, game mechanics, and token standards. Draw models, generate code, prove correctness.

Get 10X more out of Claude Code, Codex or any coding agent

Pydantic AI agent that implements the idea of Claude Skills (progressive disclosure) with no reliance on Claude itself.

A fully autonomous (no human-in-loop) agentic based project design and coding machine

Applying sample path techniques and Little's Law to measure flow in real-world operational processes.

Apache DevLake is an open-source dev data platform to ingest, analyze, and visualize the fragmented data from DevOps tools, extracting insights for engineering excellence, developer experience, and…

The open source PaaS for Kubernetes.

Deis v1, the CoreOS and Docker PaaS: Your PaaS. Your Rules.

Gandalf is an HTTP API for managing Git repositories.

Utility for emulating Heroku build and runtime tasks in containers

An extensible and friendly code review tool for projects and companies of all sizes.

Simple, powerful, first-party analytics for Rails