Advertisement
at-spi
at-spi is the Gnome Accessibility Project....
GNOME GNOME library GNOME widget GNOME Accessibility Accessibility
Discrete Event Calculus Reasoner
Discrete Event Calculus Reasoner is an open source program for performing automated commonsense reasoning....
event calculus Commonsense Reasoning Discrete event calculus
Python lambda calculus module
Python lambda calculus module project is a simple but full-featured module for exploring lambda calculus....
ProVerif Editor
Check and edit protocols specified in SPI-calculus...
editor check protocols protocols editor SPI calculus ProVerif