Euler Yet another proof Engine
Prolog to C compiler with runtime for DOS, Windows and Raspbian
An iptables IPv4 firewall and traffic shaping program
An OrBAC policy editor
TuCSoN tuple-based coordination middleware
(download) Linux Adequate"available approximately five days"