Apache 2.0 · Open Source

Build languages.
Not compilers.

A high-performance, multi-paradigm compiler infrastructure with an advanced type system, tiered JIT compilation, and async/await runtime — everything you need to create modern programming languages.

Install cargo install zyntax

Compilation

3-Tier JIT

Backends

Cranelift + LLVM

Type System

Generics · Traits · Lifetimes

Featured languages

Three languages. One compiler.

These languages use the same Zyntax type system, compiler and runtime. Each language has its own parser and type rules. Each program starts in the interpreter. Zyntax compiles frequently used code to machine code.

ZynML

.zynml

A typed language for machine learning

ZynML compiles tensor operations and model code to machine code. Its standard library is ZynML source. Its kernels use no vendor library. The benchmark page shows each compiler tier on the same kernels.

ZynML benchmarks

zylua

.lua

Lua 5.4 on Zyntax

zylua runs Lua 5.4 programs. It finds the types of values and keeps them in typed form. CI compares zylua with LuaJIT and PUC Lua on the same benchmarks. Each benchmark must give the same result as PUC Lua.

zylua benchmarks

zypy

.py

Python 3 on Zyntax

zypy runs Python 3 programs. It finds the types of values from the full program. CI compares zypy with PyPy and CPython on the PyPy speed-center kernels. Each kernel must give the same result as CPython.

zypy benchmarks