Gradual typing
Type annotations are optional. The checker reports provable mismatches, and native compilation specializes provably typed values.
Features
A compact language designed for speed, safety and clarity — from prototype to production.
Ownership where required
Use own, & and &mut for static ownership and borrowing checks. auto and const use the lighter runtime model.
Native Cranelift compiler
plix build emits a standalone native executable. No runtime dependency, no VM — just your code and the metal.
Data-oriented OOP
struct, impl and trait with &self / &mut self receivers. No data inheritance — composition by default.
Optional Python FFI
Drop into the Python ecosystem with import py "numpy" as np; — CPython access through the C API, only when you opt in.
Interpreter + native parity
The repo verifies observable output parity between both execution paths for its examples, guards and fuzz inputs.
See it in 3D
Drag to rotate the Plix core. Every node is a language primitive; edges are the semantic links the compiler follows.
Drag to rotate · scroll to zoom
What's inside
A small language with serious guarantees
Types that bend
Start untyped and add annotations as confidence grows — the checker meets you where you are.
Memory you control
Reach for ownership only when shared state demands it; the rest stays on the fast runtime path.
Ship native
One command turns source into a standalone executable — no runtime, no container, no surprises.
Tested to parity
The same program is exercised through both engines and their outputs are compared automatically.