Skip to content

@checkedc Checked C

Change the repository type filter

All

    Repositories list

    15 repositories

    • checkedc-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 gu…
      cllvmclang
      cllvmclangprogramming-languagesmemory-safetytype-safetysystem-programming
      C++
      •79•515•161•2•Updated Nov 16, 2025Nov 16, 2025

    • checkedc

      Public
      Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let people easily make their exi…
      cprogramming-languagellvm
      cprogramming-languagellvmclangmemory-safetytype-safetysystem-programming
      C
      •
      Other
      •189•3.3k•74•0•Updated Oct 7, 2024Oct 7, 2024

    • checkedc-fork

      Public archive
      This was a fork of Checked C used from 2021-2024. The changes have been merged into the original Checked C repo.
      csecurityreliability
      csecurityreliabilitysystems-programmingc-programming-language
      C
      •
      Other
      •3•27•68•0•Updated Sep 30, 2024Sep 30, 2024

    • checkedc-llvm-project

      Public
      This was a fork of Checked C clang used from 2021-2024. The changes have been merged into the original Checked C clang repo, which is now at https://github.com/…
      csecurityllvm
      csecurityllvmclangcompilers
      C++
      •19•15•167•2•Updated Sep 30, 2024Sep 30, 2024

    • workflows

      Public
      Checked C workflows for GitHub Actions
      Shell
      •0•1•1•0•Updated Sep 24, 2024Sep 24, 2024

    • checkedc-libc-test

      Public
      This repo contains a version of libc-test that is modified to test a Checked C version of the musl C library. Checked C is an extension to C that adds checking …
      C
      •
      Other
      •0•0•0•0•Updated Aug 22, 2024Aug 22, 2024

    • checkedc-musl

      Public
      This repo contains a version of musl that is being modified to Checked C. Checked C is an extension to C that adds checking to detect or prevent common programm…
      C
      •
      Other
      •0•0•0•0•Updated Aug 22, 2024Aug 22, 2024

    • checkedc-parson

      Public
      This is modified version of parson that uses the Checked C extension to C. Parson is a lightweight json parsing library.
      C
      •
      Other
      •0•0•0•0•Updated Aug 22, 2024Aug 22, 2024

    • .github

      Public
      0•0•0•0•Updated Nov 26, 2023Nov 26, 2023

    • checkedc-llvm-test-suite

      Public
      C
      •
      Other
      •0•0•1•0•Updated Jul 29, 2023Jul 29, 2023

    • checkedc-vsftpd

      Public
      C
      •
      Other
      •2•1•0•0•Updated Jan 10, 2022Jan 10, 2022

    • checkedc-tiny-bignum-c

      Public
      Small portable multiple-precision unsigned integer arithmetic in C
      C
      •
      The Unlicense
      •88•3•1•0•Updated Jan 9, 2022Jan 9, 2022

    • checkedc-thttpd

      Public
      C
      •1•0•0•0•Updated Dec 9, 2021Dec 9, 2021

    • checkedc-icecast

      Public
      C
      •
      GNU General Public License v2.0
      •1•0•0•0•Updated Dec 9, 2021Dec 9, 2021

    • checkedc-libjpeg-tutorial

      Public
      C
      •
      Other
      •1•0•0•0•Updated Oct 4, 2021Oct 4, 2021
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.