Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by checkedc
A curated list of projects in awesome lists by checkedc .
https://github.com/checkedc/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 lets programmers write C code that is guaranteed by the compiler to be type-safe.
c clang llvm memory-safety programming-languages system-programming type-safety
Last synced: 20 Dec 2024
https://github.com/checkedc/checkedc
This was a fork of Checked C used from 2021-2024. The changes have been merged into the original Checked C repo.
c c-programming-language reliability security systems-programming
Last synced: 31 Oct 2024
https://github.com/checkedc/checkedc-fork
This was a fork of Checked C used from 2021-2024. The changes have been merged into the original Checked C repo.
c c-programming-language reliability security systems-programming
Last synced: 12 Oct 2024
https://github.com/checkedc/workflows
Checked C workflows for GitHub Actions
Last synced: 22 Nov 2024