Agda is a dependently typed programming language
The Perl programming language
GritQL is a query language for searching, linting, and modifying code
ArkScript is a small, fast, functional and scripting language for C++
Functional Reactive Programming domain-specific language
Rakudo – Raku on MoarVM, JVM, and JS
Jupyter's kernel for Elixir programming language
Expressive, robust, feature-rich CSS language built for nodejs
Pattern language
A configuration as code language with rich validation and tooling
Wrangling Untrusted File Formats Safely
Read-only mirror of R source code
Tool for safe ergonomic Rust/C++ interop driven from existing C++
A strongly-typed language that compiles to JavaScript
Expert System Tool
ADP is a script language designed for Web database prgramming.
Action! - The Native Programming Language for Atari 8-bit Computers
A general-purpose, mutliparadigm language.
Ravi is a dialect of Lua, featuring limited optional static typing
Agena is an interpreted procedural programming language.
Interpreter and compiler for the Seed7 programming language.
Simple and flexible programming language for applications development