Go library for Datalog-style logical reasoning and domain modeling
Agena is an interpreted procedural programming language.
Simple and flexible programming language for applications development
An hack of Jscheme with a lot of enhancements and additional features.
Binary Modular DataFlow Machine (BMDFM)
SC is a C based meta/programming language/environment
The Simple Intelligent and Modular Programming Language & Environment
a Productive Parallel Programming Language
Enseñanza programación estructurada concurrente español inicial
Frost Programming Language Interpreter
dependently typed functional programming language