Gravity Programming Language
A friendly language for building type-safe, scalable systems!
The core OCaml system: compilers, runtime system, base libraries
A programming language and an implementation of that language
A New Programming Language for FPGA Projects
Simple and flexible programming language for applications development