Pinned Loading

1. rust-os rust-os Public

   Rust 1

2. cedar cedar Public

   Forked from cedar-policy/cedar

   Implementation of the Cedar Policy Language

   Rust

3. checkedc checkedc Public

   Forked from checkedc/checkedc

   Checked C is an extension to C that adds checking to detect or prevent common programming errors such as buffer overruns and out-of-bounds memory accesses. This repo has a wiki for Checked C, sampl…

   C

4. InfoFlow InfoFlow Public

   Formal Model of an information flow secure language

   Coq

5. outlaw-pledge-analysis outlaw-pledge-analysis Public

   Racket

6. sql-optmizer sql-optmizer Public

   Coq