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
The Racket repository
Functional programming language for signal processing
Functional Reactive Programming domain-specific language
Starlark in Go: the Starlark configuration language, implemented in Go
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.