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.
A simple, LISP-like programming language.
dependently typed functional programming language