Full IDE →
⚡ Challenge Write the abstraction that matters. Best submission wins a Ti60 F225 FPGA board. Learn more →

Write your first secure program

The Church Machine is a computer where the hardware itself refuses any instruction that breaks the rules of Lambda Calculus modularity enforced by capability security rules using immutable Golden Tokens.

No download. No setup. Runs entirely in your browser. Everything you build here runs unchanged on real silicon.

✏️ You have an unsaved abstraction draft —