Go library for Datalog-style logical reasoning and domain modeling
Binary Modular DataFlow Machine (BMDFM)
A C-like, high level programming language and interpreter.
SC is a C based meta/programming language/environment
Simple and flexible programming language for applications development
List of practical projects that anyone can solve in any prog language