The Racket repository
A friendly language for building type-safe, scalable systems!
Lean 4 programming language and theorem prover
High-level, high-performance dynamic language for technical computing
The cross-platform toolkit
The Swift Programming Language in Chinese
Checked C is an extension to C that lets programmers write C code
a self-contained development environment for embedded systems.
EDITEL is a screen editor/code generator for GnuCOBOL programmers
Welcome to the future of programming languages
An interpreted Programming Language
The world's first evidence-oriented programming language
A dynamic language for system programming (LuaJIT fork)
Simple programming language for Windows.