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/checkedc/checkedc-clang.
☆15Sep 30, 2024Updated last year
Alternatives and similar repositories for checkedc-llvm-project
Users that are interested in checkedc-llvm-project are comparing it to the libraries listed below
Sorting:
- 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
- This is the primary development repository for 3C, a tool for automatically converting legacy C code to the Checked C extension of C, whi…☆15Jul 16, 2022Updated 3 years ago
- Proxy LLVM calls into Rust own shared library in runtime☆34Mar 21, 2024Updated 2 years ago
- The most peculiar std you have ever seen☆39Nov 18, 2023Updated 2 years ago
- A Linux CPU temperature terminal monitor with history charts.☆13Nov 20, 2015Updated 10 years ago
- Videocore Backend for llvm☆23Feb 3, 2015Updated 11 years ago
- Arch Linux package for the Linux Kernel and modules with grsecurity/PaX patches.☆20Apr 26, 2017Updated 8 years ago
- This POC provides the possibilty to execute x86 shellcode in form of a .bin file based on x86 inline assembly☆20Apr 17, 2023Updated 2 years ago
- SoftBoundCETS for LLVM+Clang version 34☆61Sep 19, 2014Updated 11 years ago
- Hardening your OS/Profile is like building with LEGO, incorporating a couple of Grsecurity features and implementing aggressive security …☆21Nov 24, 2025Updated 3 months ago
- Fork of apple/swift with modifications to the stdlib to use in a bare metal kernel for use with swift-project1. See KERNEL_LIB.md for det…☆15Dec 6, 2025Updated 3 months ago
- Unofficial version of https://sourceforge.net/projects/npp-plugins/files/SpeechPlugin/☆12Mar 2, 2026Updated 2 weeks ago
- Count how many bits are set (population count) in C++ using POPCNT via inline assembly and gcc intrinsics (with benchmarks)☆16May 9, 2011Updated 14 years ago
- ALAN IF compilers and interpreters☆19Sep 3, 2025Updated 6 months ago
- Windows-standard default configuration and keybindings for Spacemacs☆15Mar 16, 2017Updated 9 years ago
- llvm crash analysis☆44Jun 26, 2024Updated last year
- Support for Ada and SPARK languages in IntelliJ IDEA☆22Oct 17, 2022Updated 3 years ago
- The LLVM-based Modula-2 compiler☆74Mar 7, 2026Updated last week
- Pandoc filter that adapts quotation marks.☆14Mar 13, 2025Updated last year
- General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64☆86Updated this week
- GCC/Clang inline assembly wrapper, C macro pre-processor based. ASM for human beings. Painless code migration from MSVC, Borland __asm {}…☆23Nov 15, 2023Updated 2 years ago
- A secure utmp/wtmp implementation☆19Jan 21, 2026Updated 2 months ago
- OpenStax centralized authentication and accounts service☆18Updated this week
- Collection of scripts and CMake files to easily link to LLVM into your project (Windows, Linux, macOS).☆43Apr 2, 2025Updated 11 months ago
- ☆13May 17, 2024Updated last year
- An exhaustive list of Emoji's represented as Swift string constants.☆11Jan 20, 2016Updated 10 years ago
- my dotfiles☆29Sep 20, 2025Updated 6 months ago
- ☆11Apr 27, 2022Updated 3 years ago
- Data repository for Karuta. Can write into MySQL and Oracle databases.☆11Nov 5, 2025Updated 4 months ago
- llvm2KITTeL☆20Feb 16, 2017Updated 9 years ago
- ⚡ An interactive alternative to swift package init☆13Jul 24, 2023Updated 2 years ago
- Colorized LS with Nerd Font support☆15May 10, 2022Updated 3 years ago
- Generates nice Unicode rendered waveforms.☆14Feb 9, 2024Updated 2 years ago
- htop - an interactive process viewer | optimized builds☆14Mar 2, 2026Updated 2 weeks ago
- Evidence-based dynamic analysis: a fast checker for memory errors.☆21Apr 22, 2017Updated 8 years ago
- ☆18Feb 17, 2026Updated last month
- ☆20Oct 11, 2023Updated 2 years ago
- Advanced UNIX Terminal UI Ada Binding Package☆17May 1, 2020Updated 5 years ago
- Acme style editing plugin for micro editor☆26Jun 27, 2024Updated last year