ayberkt / simplcLinks

A tiny compiler for a security-typed imperative language with a formalised proof of noninterference-preservation.
16Updated 5 years ago

Alternatives and similar repositories for simplc

Users that are interested in simplc are comparing it to the libraries listed below

Sorting: