Lean 4 programming language and theorem prover
The Python programming language
Expert System Tool
ALFOUR Programming language. Simple, safe, power, multi-platform.
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