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 existing C code type-safe and eliminate entire classes of errors.

Flang is a Fortran language front-end designed for integration with LLVM.

天问之路 - 学习笔记&学习周报。内容包括但不限于C++ STL、编译原理、LLVM IR Pass代码优化、CSAPP Lab、uCore操作系统等等。

android-ndk for termux

The cross-platform, open-source SDK to develop for original Xbox: *new* xdk

SeaHorn Verification Framework

SMACK Software Verifier and Verification Toolchain

ClangKit provides an Objective-C frontend to LibClang. Source tokenization, diagnostics and fix-its are actually implemented.

Self contained, fully static llvm tools & libs

Linux kernel rootkit

WebAssembly ahead-of-time compiler and runtime. Focuses on generating fast code, simplicity, and portability.

Proton Clang toolchains builds in the form of a continuously updating Git repository. Clone with --depth=1.

SDK for developing with the llvm-mos compiler

One (onelang) is an open-source system programming language that makes it easy to build reliable, efficient and performant software. (release as soon) 1️⃣ 🕐 🩱

Static Analyzer for LLVM bitcode based on Abstract Interpretation

LLVM plugin to transparently apply stack spoofing and indirect syscalls to Windows x64 native calls at compile time.

Linux kernel source tree

A mini, simple and modular compiler for SYsU/SysY(tiny C). Based on Clang/LLVM/ANTLR4/Bison/Flex.

RISC-V Virtual Machine

A tool for converting C and Objective-C headers to D modules