A human readable quasi-concatenative programming language

AquaVM interprets AIR – a π-calculus-derived set of instructions that the Aqua language compiles to

A POSIX-compliant AWK interpreter written in Go, with CSV support

Pharo is a dynamic reflective pure object-oriented language supporting live programming inspired by Smalltalk.

Untyped Multistack Concatenative Calculus

Dafny is a verification-aware programming language

Oberon parser, code model & browser, compiler and IDE with debugger, and an implementation of the Oberon+ programming language

The Flix Programming Language

A small extensible programming language designed for concise expression with little code.

Probabilistic language based on pattern matching and constraint propagation, 153 examples

💥💻💥 A data-parallel functional programming language

A safe, easy systems language

A Lisp interpreter written in untyped lambda calculus

clasp Common Lisp environment

⭐️ A friendly language for building type-safe, scalable systems!

An APL-like programming language

Factor programming language

A stack-based array programming language

Borgo is a statically typed language that compiles to Go.