Stars
Microsoft SEAL is an easy-to-use and powerful homomorphic encryption library.
Rust implementation of the BMR16 arithmetic garbling scheme.
Styled Terminal Markdown Viewer
A feature-rich Unix terminal client for the Mattermost chat system
convert simple cryptol expressions into finite-state machines
fredrik-johansson / flint
Forked from flintlib/flintMy copy of FLINT -- please use https://github.com/flintlib/flint/ for development