Stars
Verified OxCaml for real projects and real performance.
The new nanopass framework; an embedded DSL for writing compilers in Scheme
Prevent stack overflow in deeply recursive functions with automatic stack management.
CUDA Tile IR is an MLIR-based intermediate representation and compiler infrastructure for CUDA kernel optimization, focusing on tile-based computation patterns and optimizations targeting NVIDIA te…
A versatile, performance-oriented generic hash table library for C.
KaRaMeL is a tool for extracting low-level F* programs to readable C code
The missing standard library for multithreading in JavaScript (Works in the browser, Node.js, Deno, Bun)
Library facilitating safe pinned initialization
Easy self-referential struct generation for Rust.
A book teaching assembly language programming on the ARM 64 bit ISA. Along the way, good programming practices and insights into code development are offered which apply directly to higher level la…
C/C++ frontend for MLIR. Also features polyhedral optimizations, parallel optimizations, and more!
graph based intermediate representation and backend for optimising compilers
A collection of out-of-tree LLVM passes for teaching and learning
Compiler and tooling for the Myte programming language.
A Simple showcase for the Sea-of-Nodes compiler IR
A tool to help eliminate NullPointerExceptions (NPEs) in your Java code with low build-time overhead
The CompCert formally-verified C compiler
🔬 A fast, interactive web-based viewer for performance profiles.
Haskell library implementing "Data Types a la Carte"
An easy to use, cross platform, GUI library for writing Haskell applications.