Repositories list

• TypeFlexer-Clang

  Public
  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++

  •19•0•0•1•Updated Sep 20, 2024Sep 20, 2024

• Typematic

  Public
  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++

  •19•0•0•0•Updated Sep 20, 2024Sep 20, 2024

• typeflexer-ptrdistOlden

  Public
  Logos

  •

  Other

  •0•0•0•0•Updated Nov 4, 2023Nov 4, 2023

• checkcbox

  Public
  C

  •

  MIT License

  •1•0•0•0•Updated Sep 23, 2023Sep 23, 2023

• CheckMate

  Public
  C++

  •0•0•0•0•Updated Jul 28, 2023Jul 28, 2023

• CheckMate_headers

  Public
  C++

  •0•0•0•0•Updated Apr 19, 2023Apr 19, 2023

• SandboxInterfaceLibrary

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

  C

  •

  MIT License

  •1•0•0•0•Updated Apr 3, 2023Apr 3, 2023

• 4lowmatic

  Public
  Shell

  •1•0•0•0•Updated Mar 3, 2023Mar 3, 2023

• Check-C-Box-ISC

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

  C

  •1•0•0•0•Updated Sep 22, 2022Sep 22, 2022

• typeflexer-vsftpd

  Public
  C

  •

  Other

  •2•0•0•0•Updated Jan 10, 2022Jan 10, 2022