Go library for Datalog-style logical reasoning and domain modeling
Lean 4 programming language and theorem prover
A programming language that understands what a web app is
Starlark in Go: the Starlark configuration language, implemented in Go
The Racket repository
Functional Reactive Programming domain-specific language
Scala based HDL
Wrangling Untrusted File Formats Safely
Audio server, programming language, and IDE for sound synthesis
EDITEL is a screen editor/code generator for GnuCOBOL programmers
A programming language for genetic data
BPLB is a developing programming language.
The roses project is a C programming language and OpenGL tutorial.