The Church Machine Educational Platform — a capability-secured processor architecture with an educational IDE for the Tang Nano 20K FPGA.
Run the full Church Machine IDE in your browser. Write, compile, and test programs in English, JavaScript, Haskell, Symbolic Math, or Assembly.
Open IDEClone the repository and run the IDE locally. No build step required — just open index.html.
View on GitHubExplore shared abstractions in the Mum Tunnel library. Import community code or publish your own.
Browse LibraryAmaranth HDL designs for the Tang Nano 20K FPGA. Flash your own capability-secured processor.
View HardwareThe full platform under GPL-3.0:
Structured courseware for exam boards:
For commercial and for-profit use:
Contact: SIPanticINC@gmail.com
A 32-bit capability-secured processor with 20 instructions (10 Church + 10 Turing), Golden Token security, 9 abstraction layers, and strict domain purity. Named for Alonzo Church, whose lambda calculus gave us the mathematical foundation of computation.