GritQL is a query language for searching, linting, and modifying code
Agda is a dependently typed programming language
The Perl programming language
A TypeScript-like language for WebAssembly
An experimental programming language for data flow
Skylark in Go: the Skylark configuration language
A probabilistic programming language in TensorFlow