Popular repositories Loading

1. llvm-team llvm-team Public

   1

2. gnulib gnulib Public

   Forked from coreutils/gnulib

   C

3. OCCAM OCCAM Public

   Forked from SRI-CSL/OCCAM

   OCCAM: Object Culling and Concretization for Assurance Maximization

   C++

4. kernel-specialization kernel-specialization Public

   Forked from paul-naert/kernel-specialization

   Documentation for my work at SRI

   C

5. gllvm gllvm Public

   Forked from SRI-CSL/gllvm

   Whole Program LLVM: wllvm ported to go

   Go

6. KVM-kern-spec KVM-kern-spec Public

   C