Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

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/checkedc-llvm-project

This repo contains a version of clang that is modified to support Checked C. Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety.

c clang compilers llvm security

Last synced: 22 Nov 2024

https://github.com/checkedc/workflows

Checked C workflows for GitHub Actions

Last synced: 22 Nov 2024

https://github.com/checkedc/.github

Last synced: 22 Nov 2024