a javascript-esque, interpreted language implementing dynamic information flow control with security labels
Primary LanguagePython