Proton Clang toolchains builds in the form of a continuously updating Git repository. Clone with --depth=1.
-
Updated
May 22, 2021 - C
The LLVM compiler infrastructure project is a set of compiler and toolchain technologies, which can be used to develop a front end for any programming language and a back end for any instruction set architecture.
Proton Clang toolchains builds in the form of a continuously updating Git repository. Clone with --depth=1.
Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors. Checked C does not address use-after-free errors. This repo has a wiki for Checked C, sample code, the specification, a…
Flang is a Fortran language front-end designed for integration with LLVM.
SeaHorn Verification Framework
SMACK Software Verifier and Verification Toolchain
One (onelang) is an open-source system programming language that makes it easy to build reliable, efficient and performant software. (release as soon) 1️⃣ 🕐 🩱
天问之路 - 学习笔记&学习周报。内容包括但不限于C++ STL、编译原理、LLVM IR Pass代码优化、CSAPP Lab、uCore操作系统等等。
ClangKit provides an Objective-C frontend to LibClang. Source tokenization, diagnostics and fix-its are actually implemented.
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.
A tool for debugging and assessing floating point precision and reproducibility.
CERE: Codelet Extractor and REplayer
WebAssembly ahead-of-time compiler and runtime. Focuses on generating fast code, simplicity, and portability.
Created by Vikram Adve, Chris Lattner
Released 2019
Latest release 13 days ago