Programming Language Theory
Wrangling Untrusted File Formats Safely
Go library for Datalog-style logical reasoning and domain modeling
Agena is an interpreted procedural programming language.
The open sourced NetRexx reference implementation
Binary Modular DataFlow Machine (BMDFM)
ALFOUR Programming language. Simple, safe, power, multi-platform.
AQ is an interpreted programming language. It is fast, small, simple a
The classic RPL programming language reimplemented and reimagined.
an object-oriented language with late binding
The language used in the AP CSP Exam, now a programming language!
OnixOS Arch is a Linux-based and open source distribution.
Simple and flexible programming language for applications development
Interpreter and compiler for the Seed7 programming language.
Action! - The Native Programming Language for Atari 8-bit Computers
Hobby programming language for application development
a self-contained development environment for embedded systems.
EDITEL is a screen editor/code generator for GnuCOBOL programmers
PyConda is a simple, Python-based programming language.
KAGSA PROGRAMMING LANGUAGE
A BASIC interpreter and compiler with graphics.
Probabilistic language based on pattern matching