Go library for Datalog-style logical reasoning and domain modeling
A C-like, high level programming language and interpreter.
Binary Modular DataFlow Machine (BMDFM)
ALFOUR Programming language. Simple, safe, power, multi-platform.
Source code for Go Programming Blueprints
dependently typed functional programming language