Witchcraft
A programming language that makes inference a typed primitive. Constrained decoding means model output always fits the type you asked for.
Building2026
Overview
Witchcraft is a programming language that makes inference a typed primitive: you ask a model for a value of a particular type, and that is what comes back.
It uses constrained decoding, so the model's output always fits the type you asked for. There is no parsing free text and hoping it matches.
The language is still being built. getwitch.dev has the latest.
More projects
All projects- EmergencyA living world whose creatures are written by an AI as it runs: species rewrite their own code to survive, crown rulers, wage wars and pray to you, the hand above.Building
- TotalStackerCloud-native astrophotography stacking in the browser. Upload your subs and a Siril pipeline calibrates, registers and stacks them, with live progress as it works.In private beta
- STX robot platformA robot-agnostic ROS 2 platform for designing, printing, building, simulating and training robots, running on an NVIDIA Jetson Orin Nano. STX-Q1 is the current build.Building
- TerraNovaA web-based JRPG in a 320×200, 256-colour 8/16-bit style: a sci-fi story about uncovering a global organisation's secret agenda.Building