Pinned Repositories
CCF
Confidential Consortium Framework - a framework to build secure, highly available, and performant applications that focus on multi-party compute and data
coal
comp3010-lecture-code
Code from Comp 3010 OPL lectures
CompCert
The CompCert formally-verified C compiler
compressEVM
Compression for Ethereum Blockchain
dflate
Distributed FLAC
Higgs
Higgs JavaScript Virtual Machine
impslator
impsrc to impenc translator
kleestr
Klee with support for string constraints
Shield
Client-Side Encryption for DropBox
anithag's Repositories
anithag/impslator
impsrc to impenc translator
anithag/kleestr
Klee with support for string constraints
anithag/Shield
Client-Side Encryption for DropBox
anithag/CCF
Confidential Consortium Framework - a framework to build secure, highly available, and performant applications that focus on multi-party compute and data
anithag/coal
anithag/comp3010-lecture-code
Code from Comp 3010 OPL lectures
anithag/CompCert
The CompCert formally-verified C compiler
anithag/compressEVM
Compression for Ethereum Blockchain
anithag/dflate
Distributed FLAC
anithag/Higgs
Higgs JavaScript Virtual Machine
anithag/ifence
Auto partitions a program to achieve secure erasure
anithag/impec
IMPe to C translator
anithag/kremlin
KreMLin is a tool for extracting low-level F* programs to readable C code
anithag/ocamllex
anithag/scikit-learn
scikit-learn: machine learning in Python
anithag/test-cloud-haskell
Testing cloud haskell programs
anithag/verified-examples
Examples verified in LowStar