The Python programming language
Lean 4 programming language and theorem prover
Expert System Tool
ALFOUR Programming language. Simple, safe, power, multi-platform.
Binary Modular DataFlow Machine (BMDFM)
A BASIC interpreter and compiler with graphics.
A low-level system programming language with high-level syntax
Pure Trait-based Programming on the Java Platform
Go (Golang): An open-source programming language supported by Google