Pinned Repositories
mahnushm's Repositories
mahnushm/JavaBasic
mahnushm/LambdaLang
A small core lambda language, consisting of the lambda calculus with booleans and integers.
mahnushm/MpcLib
MpcLib - A Multi-Party Computation Library
mahnushm/obliv-c
mahnushm/Simulais
Automatically exported from code.google.com/p/simulais