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.