This is the primary development repository for 3C, a tool for automatically converting legacy C code to the Checked C extension of C, which aims to enforce spatial memory safety. This repository is a fork of Checked C's.
☆15Jul 16, 2022Updated 3 years ago
Alternatives and similar repositories for checkedc-clang
Users that are interested in checkedc-clang are comparing it to the libraries listed below
Sorting:
- This was a fork of Checked C used from 2021-2024. The changes have been merged into the original Checked C repo.☆27Sep 30, 2024Updated last year
- 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 …☆27Jun 12, 2023Updated 2 years ago
- Port of the LLVM compiler infrastructure to the time-predictable processor Patmos☆15Apr 2, 2025Updated 10 months ago
- ☆11Aug 23, 2023Updated 2 years ago
- Transparent serialization of python plain-old-data classes☆12Aug 31, 2022Updated 3 years ago
- ☆12Feb 15, 2024Updated 2 years ago
- Translate markdown document on your repository.☆13Nov 5, 2018Updated 7 years ago
- RISC-V 64 CPU☆10Oct 4, 2025Updated 4 months ago
- 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 …☆515Nov 16, 2025Updated 3 months ago
- LifeGame homework of Software Engineering MOOC (http://www.xuetangx.com/courses/TsinghuaX/34100325X/2015_T1/about)☆10Mar 18, 2016Updated 9 years ago
- My presentations home page☆10Jul 29, 2022Updated 3 years ago
- API documentation for BlueBrain projects:☆12Dec 1, 2021Updated 4 years ago
- A small helper library, that allows you to find the source file of a type at runtime, based on the debug information included in the type…☆11Apr 28, 2021Updated 4 years ago
- This plugin provides a mermaid editor for zim based on Mermaid.☆10May 25, 2024Updated last year
- An unofficial dotnet library for consuming RESTful APIs for Cisco Spark. Please visit Cisco at http://developer.ciscospark.com/.☆13Jun 22, 2022Updated 3 years ago
- A sample kernel module showing the memory reordering.☆11May 30, 2020Updated 5 years ago
- A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs☆12Aug 27, 2025Updated 6 months ago
- A tool for cross-checking Verilog compilers☆14Apr 16, 2025Updated 10 months ago
- An instruction of how to modify bios image to enable avx512 for alderlake CPU on modern gigabyte motherboards☆13Feb 2, 2023Updated 3 years ago
- compatible library for ebpf programs to improve BTF portability☆14Oct 11, 2023Updated 2 years ago
- Generate Linux Perf event tables for Apple Silicon☆17Dec 16, 2025Updated 2 months ago
- Norma-Plus: Core code for Natural Object-Role Modeling Architect, a Visual Studio extension for ORM modeling.☆13Jan 14, 2020Updated 6 years ago
- An implementation of memcpy for amd64 with clang/gcc☆15Feb 7, 2022Updated 4 years ago
- An online simulator for finite automata (FA), pushdown automata (PDA) and linear bounded automata (LBA).☆11Oct 30, 2017Updated 8 years ago
- Cross platform OIDC agent☆11Feb 24, 2023Updated 3 years ago
- ☆19Dec 16, 2018Updated 7 years ago
- An MLIR-based AI compiler designed for Python frontend to RISC-V DSA☆13Oct 10, 2024Updated last year
- Example setup using rabbitmq federation☆19Mar 29, 2012Updated 13 years ago
- 基于X86架构的简单Cminus语言编译器☆10Apr 1, 2022Updated 3 years ago
- OCEAN – Open-source CXL Emulation at Hyperscale Architecture and Networking.☆22Updated this week
- A Rust library to handle OpenSSH key and other common SSH key☆15Jun 3, 2023Updated 2 years ago
- SSE + Envoy☆12Dec 11, 2022Updated 3 years ago
- ☆11Dec 23, 2022Updated 3 years ago
- ☆10Nov 12, 2019Updated 6 years ago
- Dynamic NFTs is a code-pattern & tooling that enables web3 creators to have true ownership of assets and create upgradable NFTs in a trus…☆13Jan 11, 2022Updated 4 years ago
- Started as an ALM DevOps Rangers project. Adopted to keep alive.☆12Feb 20, 2026Updated last week
- ☆11May 20, 2024Updated last year
- ☆14Sep 7, 2023Updated 2 years ago
- Videocore Backend for llvm☆23Feb 3, 2015Updated 11 years ago