Kontrol programming language

The Kontrol programming language is a Synchronous programming language.

The language is designed with inspiration from both Lucid Synchrone, Lustre, Haskell, Standard ML and Lisp.

It is currently implemented in Haskell.

It contains a REPL, and a code generator able to generate native machine code executing the update loop of the program.