Open source fork of the Google Authenticator Android app
Companion Android application for Magisk
Basic, concurrent algorithm
Processes dialogue text files exported by the Bethesda Softworks SDK
Synthesizing embedded control software from formal specifications
Modeling and Simulation made NiCE!
Cloud Service Make.
Safecap Platform for improving railway capacity via formal modelling
Human protein similarity network used to predict drug safety.
Library for android, simplifies communication between services
Robust Automatic Identification System Parser in Java
SQL comments for Java
A wildfire decision support system and visualization tool from Emxsys.
Helping to improve drinking water safety where there isn't much.
Android app lets you log speed limit signs when you drive past them.
Fileprivacy easily encrypts your files
Software platform for the control of astronomical instruments.
Null dereference verifier for Java Programs
OpenSE - Secure your online transactions today!!
Safety in numbers.