Popular repositoriesLoading

1. must-readmust-readPublic

   Lists of must-read papers (mainly security papers)

   28 1

2. Rust-MenagerieRust-MenageriePublic

   Contains materials about the Rust Programming Language

   4 1

3. checkedc-llvmcheckedc-llvmPublic

   Forked frommicrosoft/checkedc-llvm

   This repo contains a version of the LLVM that is being modified to support Checked C. Checked C is an extension to C that adds checking to detect or prevent common programming errors such as out-of…

   LLVM 3 1

4. bibtexbibtexPublic

   Bibliography Latex Source

   TeX 2

5. checkedc-safe-mm-misccheckedc-safe-mm-miscPublic

   Miscellaneous stuff for the Checked C Temporal Memory Safety Project

   C 2 1

6. checkedc-clangcheckedc-clangPublic

   Forked fromcheckedc/checkedc-clang

   This repo contains a version of clang that is being modified to support Checked C. Checked C is an extension to C that adds checking to detect or prevent common programming errors such as out-of-bo…

   C++ 1 2