A small, elegant, general-purpose functional language. Effects are in the type signature, including ones you name yourself. The compiler is self-hosted, and it is the only one there is. Two peer backends, JVM bytecode and C; that a program prints the same bytes on both is held by a gate, not a promise.

43 stars 1 forks 43 watchers Python Apache License 2.0
bootstrapping bytecode compiler effect-system graalvm jvm language-design lsp native-image programming-language self-hosting type-inference
3 Open Issues Need Help Last updated: Aug 30, 2026

Open Issues Need Help

View All on GitHub

A small, elegant, general-purpose functional language. Effects are in the type signature, including ones you name yourself. The compiler is self-hosted, and it is the only one there is. Two peer backends, JVM bytecode and C; that a program prints the same bytes on both is held by a gate, not a promise.

Python
#bootstrapping#bytecode#compiler#effect-system#graalvm#jvm#language-design#lsp#native-image#programming-language#self-hosting#type-inference

A small, elegant, general-purpose functional language. Effects are in the type signature, including ones you name yourself. The compiler is self-hosted, and it is the only one there is. Two peer backends, JVM bytecode and C; that a program prints the same bytes on both is held by a gate, not a promise.

Python
#bootstrapping#bytecode#compiler#effect-system#graalvm#jvm#language-design#lsp#native-image#programming-language#self-hosting#type-inference
enhancement help wanted

A small, elegant, general-purpose functional language. Effects are in the type signature, including ones you name yourself. The compiler is self-hosted, and it is the only one there is. Two peer backends, JVM bytecode and C; that a program prints the same bytes on both is held by a gate, not a promise.

Python
#bootstrapping#bytecode#compiler#effect-system#graalvm#jvm#language-design#lsp#native-image#programming-language#self-hosting#type-inference