Popular repositories Loading

1. TypeFlexer-Clang TypeFlexer-Clang Public

   Forked from checkedc/checkedc-llvm-project

   This repo contains a version of clang that is being modified to support Checked C. Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe.

   C++ 2

2. CheckMate CheckMate Public

   C++

3. CheckMate_headers CheckMate_headers Public

   C++

4. typeflexer-vsftpd typeflexer-vsftpd Public

   Forked from checkedc/checkedc-vsftpd

   C

5. SandboxInterfaceLibrary SandboxInterfaceLibrary Public

   Forked from arunkumarbhattar/SandboxInterfaceLibrary

   This repository hosts the code that houses the definitions for Sandbox Interface functions that will be used by CheckCBox Clang Compiler

   C

6. Check-C-Box-ISC Check-C-Box-ISC Public

   Forked from arunkumarbhattar/Check-C-Box-ISC

   The repository holds the scripts required to compile Unsafe C Functions to WASM Readable definitions

   C