About Alchmotion

Alchmotion is a redrawing the future of programming paradigms with formal semantics, HCI, and care. And of course, AI will be subsumed and upgraded by the new system. Our mission is to bring truth and platfulness to computation and technology, and to make it available to everyone.

Key Features

• Problem/project based learning
• Visual programming via string diagrams
• Formal semantics and type theory
• HCI and user experience
• AI and machine learning

Join Our Community

Get in touch to give us feedback, ask questions, or just say hi! We're always looking for new ideas and collaborators.