Popular repositories

1. checkedc-2

   Checked C is an extension of C that adds bounds checking to C. This repo contains the specification for the extensions, test code, and samples.

   TeX

2. checkedc

   Forked from microsoft/checkedc

   Checked C is an extension of C that adds bounds checking to C. This repo contains the specification for the extension, test code, and samples.

   TeX

3. checkedc-clang

   Forked from microsoft/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++

4. checkedc-llvm

   Forked from microsoft/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…

   C++

5. checkedc-llvm-test-suite

   Forked from microsoft/checkedc-llvm-test-suite

   This repo contains a version of the LLVM test suite that is being modified to use Checked C. The modified programs will be used to benchmark the implementation of Checked C in clang/LLVM. Checked C…

   C

6. azure-sphere-samples

   Forked from Azure/azure-sphere-samples

   Samples for Azure Sphere

   C