Programming language with expressive power and a simple implementation
Proof Logic : A logical framework for theorem proving
JavaScript/XML engine for Apache
BASIC language interpreter (multiplatform)
Children's learning programming language Karel the Robot in 3D
Dynamic Python binding for Qt Applications
Runtime and development environment of Oz
Learning programming language for kids
Dao Language for Scripting and Computing
A fast programming language combining old features with new.
Loglan language and Virtual Loglan Processor repository
Computer calculations made easy
C#Prolog -- A Prolog interpreter written in managed C#
An object oriented language for concurrent software development
A functional programming language
A set of library for C++ and a programming language