Zichao Zhang's repositories
MPHF
An efficient minimal perfect hash function generator for small sets
Language:CBSD-3-Clause000
openthread
OpenThread released by Google is an open-source implementation of the Thread networking protocol
Language:C++BSD-3-Clause000
project-website-template
A HTML/CSS Template for Building Projects or Personal Websites
Language:HTMLBSD-2-Clause000
Language:JavaScript000
sslengine.example
Implementation of a Java server and client using JSSE SSLEngine.
Language:JavaMIT000
taglierino
A domain-specific language for verifying cryptographic protocols
Language:HaskellMIT000
uberspark
Modular Provable Security on Commodity System Software Stacks
Language:CNOASSERTION000
uberxmhf
uber eXtensible Micro-Hypervisor Framework
Language:CNOASSERTION000