Go library for Datalog-style logical reasoning and domain modeling
Binary Modular DataFlow Machine (BMDFM)
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