lang-stuff
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.
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
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 Lisp interpreter written in untyped lambda calculus
⭐️ A friendly language for building type-safe, scalable systems!
Borgo is a statically typed language that compiles to Go.