Build massively scalable soft real-time systems
Lean 4 programming language and theorem prover
Empowering everyone to build reliable and efficient software
The cross-platform toolkit
Carbon Language's main repository
Rakudo – Raku on MoarVM, JVM, and JS
A strongly-typed language that compiles to JavaScript
Lightweight Ruby
Audio server, programming language, and IDE for sound synthesis
jsii allows code in any language to naturally interact with JavaScript
Expressive, robust, feature-rich CSS language built for nodejs
Read-only mirror of R source code
Language for defining cloud service APIs and shapes
A friendly language for building type-safe, scalable systems!
an object-oriented language with late binding
The open sourced NetRexx reference implementation
Binary Modular DataFlow Machine (BMDFM)
Simple and flexible programming language for applications development
Hobby programming language for application development
Jupyter's kernel for Elixir programming language
FreeBasic plus WX-C codes for XRC file
PEGI helps parents to make informed decisions when buying video games
A language for making art using mathematics
Wren is a small, fast, class-based concurrent scripting language