A massively parallel, high-level programming language
Lightweight Ruby
Language for defining cloud service APIs and shapes
Agda is a dependently typed programming language
Master the fundamentals and advanced features of the Go language
Interpreter and compiler for the Seed7 programming language.
Simple ⇒ Object-Oriented ⇒ Functional
A New Programming Language for FPGA Projects
Simple and flexible programming language for applications development
The open sourced NetRexx reference implementation
Hobby programming language for application development
a self-contained development environment for embedded systems.
Ravi is a dialect of Lua, featuring limited optional static typing
The core software distribution for the Inform 7 programming language
Tool for installing and managing multiple versions of Nim language
A BASIC interpreter and compiler with graphics.
Probabilistic language based on pattern matching
Lua Lisp Language
ATS2: Unleashing the potentials of types and templates
A Dependently Typed Functional Programming Language
The world's first evidence-oriented programming language
The Eta Programming Language, a dialect of Haskell on the JVM