Lightweight Ruby
Go library for Datalog-style logical reasoning and domain modeling
Scala based HDL
A configuration as code language with rich validation and tooling
Binary Modular DataFlow Machine (BMDFM)
A modern programming language which compiles to Fortran.
The Simple Intelligent and Modular Programming Language & Environment