A configuration as code language with rich validation and tooling
Pattern language
Rakudo – Raku on MoarVM, JVM, and JS
Checked C is an extension to C that lets programmers write C code
New additions to the Java programming language
Lightweight Ruby
A friendly language for building type-safe, scalable systems!
Language for defining cloud service APIs and shapes
Go library for Datalog-style logical reasoning and domain modeling
Wrangling Untrusted File Formats Safely
Master the fundamentals and advanced features of the Go language
A strongly-typed language that compiles to JavaScript
Microsoft BASIC for 6502 Microprocessor
Read-only mirror of R source code
Tool for safe ergonomic Rust/C++ interop driven from existing C++
Repository for the book "Crafting Interpreters"
Interpreter and compiler for the Seed7 programming language.
An easy to read programming language, with english and italian lexemes
Agena is an interpreted procedural programming language.
An object-based programming language
ALFOUR Programming language. Simple, safe, power, multi-platform.
Experimental programming language and compiler
Deep universal probabilistic programming with Python and PyTorch
Cmajor is an experimental programming language.