Varphi

A language that enables efficient development of Turing programs.

---

Why Varphi?

1

Simplicity

Varphi boasts an intuitive syntax with just four "keycharacters". Its uniform line structure simplifies learning and reduces the barrier to entry, making it perfect for students and researchers alike.

2

Lightweight and Accessible

With Varphi, there’s no complex setup. A single, dependency-free executable — the Varphi Interpreter — is all you need to start creating and running Turing programs.

3

Enhanced Creativity

Varphi empowers researchers and students to describe and experiment with Turing machines like never before, enabling the creation of far more complex and expressive Turing programs.

4

Debugging Made Easy

The built-in debugger streamlines troubleshooting, making it easier than ever to analyze and refine your Turing programs.

5

Actively Maintained

Varphi is continuously improved and supported, ensuring users always have access to the latest features and enhancements.

Discover Varphi

Install ⬇️

Download the Varphi Interpreter.

Docs 📚

Learn the Varphi Language Standard, how to run Varphi programs, and Turing machine theory.

Contribute 🤝

Learn how to navigate the Varphi codebase and contribute.

Journey 🚀

How Varphi started and it's development journey.