Go library for Datalog-style logical reasoning and domain modeling
Wrangling Untrusted File Formats Safely
Programming Language Theory
A programming language and an implementation of that language
Read-only mirror of R source code
Language for defining cloud service APIs and shapes
Checked C is an extension to C that lets programmers write C code
Expert System Tool
Agena is an interpreted procedural programming language.
Simple ⇒ Object-Oriented ⇒ Functional
Repository for the book "Crafting Interpreters"
an object-oriented language with late binding
The classic RPL programming language reimplemented and reimagined.
Interpreter and compiler for the Seed7 programming language.
Cmajor is an experimental programming language.
OnixOS Arch is a Linux-based and open source distribution.
An object-based programming language
An easy to read programming language, with english and italian lexemes
Action! - The Native Programming Language for Atari 8-bit Computers
ADP is a script language designed for Web database prgramming.
A C-like, high level programming language and interpreter.
A modern descendant of the Icon programming language.