Popular repositories Loading

1. blueprint blueprint Public

   Forked from google/blueprint

   Go

2. benchmark benchmark Public

   Forked from google/benchmark

   A microbenchmark support library

   C++

3. oak-hardware oak-hardware Public

   Forked from project-oak/silveroak

   Formal specification and verification of hardware, especially for security and privacy.

   Coq

4. selinux selinux Public

   Forked from SELinuxProject/selinux

   This is the upstream repository for the Security Enhanced Linux (SELinux) userland libraries and tools. The software provided by this project complements the SELinux features integrated into the Li…

   C

5. conscrypt conscrypt Public

   Forked from google/conscrypt

   Conscrypt is a Java Security Provider that implements parts of the Java Cryptography Extension and Java Secure Socket Extension.

   Java