Starred repositories
9
results
for source starred repositories
written in Java
Clear filter
Free universal database tool and SQL client
Browse media content with your own rules on Android TV
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Jason is a fully-fledged interpreter for an extended version of AgentSpeak, a BDI agent-oriented logic programming language.
The main development version of the PRISM model checker.
A simple app that adds a quick tile to toggle the Private DNS settings on Android 9.0+
The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.
StarExec is a cross community logic solving service
Authors: Francesco Belardinelli, Angelo Ferrando, Vadim Malvone, and Abbas Slimani