Checked C is an extension to C that lets programmers write C code
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
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.
The classic RPL programming language reimplemented and reimagined.
AQ is an interpreted programming language. It is fast, small, simple a
PEARL Compiler and Runtime System
The M.O.R.T.A.L. programming language