GritQL is a query language for searching, linting, and modifying code
Prompt Declaration Language is a declarative prompt programming lang
The Lux Programming Language
Agda is a dependently typed programming language
Starlark in Go: the Starlark configuration language, implemented in Go
A friendly language for building type-safe, scalable systems!
A modern descendant of the Icon programming language.
Simple and flexible programming language for applications development
List of practical projects that anyone can solve in any prog language