A friendly language for building type-safe, scalable systems!
Carbon Language's main repository
New additions to the Java programming language
Deep universal probabilistic programming with Python and PyTorch
The cross-platform toolkit
A strongly-typed language that compiles to JavaScript
Ruby programming language
Development repository for the Triton language and compiler
Scala based HDL
A dialect of Lisp that's embedded in Python
A Moonscript dialect compiles to Lua
The Perl programming language
A TypeScript-like language for WebAssembly
Functional programming language for signal processing
A refreshing programming language for the front-end web
Pattern language
The core OCaml system: compilers, runtime system, base libraries
Lightweight Ruby
A friendly programming language from the future
Agda is a dependently typed programming language
Functional Reactive Programming domain-specific language
The Lux Programming Language
Expressive, robust, feature-rich CSS language built for nodejs
A language for fast, portable data-parallel computation
A language that compiles to Lua