Stars
A standalone web app that uses the browser's Web Bluetooth API to control a bike trainer, allows to train on a recorded GPX track.
Parrot is a C++ library for fused array operations using CUDA/Thrust. It provides efficient GPU-accelerated operations with lazy evaluation semantics, allowing for chaining of operations without un…
Automatic verification of LLVM optimizations
A Periodic Table of System Design Principles
An LLVM IR dataset for data-driven compiler optimization research
A lightweight LLVM python binding for writing JIT compilers
A survey of my favourite free LaTeX fonts
A fast RISC-V emulator based on the RISC-V Sail model, and an experimental ARM one
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
A reimplementation of Mario Kart Wii's physics engine in C++
Logical manifestations of topological concepts, and other things, via the univalent point of view.
A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.
Most influential papers in programming languages
Anime Girls Holding Programming Books
Merlin Mann attempts to capture the best advice he's heard and learned from.
[NeurIPS'24] Grammar-Aligned Decoding: An algorithm to constrain LLMs' outputs without distorting its original distribution
An extremely fast Python package and project manager, written in Rust.
Python implementation of Brahma (Synthesis of Loop-free Programs, PLDI'11)
A solver of loud framework, for synthesizing strongest over-approximation and weakest under-approximation
The implementation of an SMTLib dialect for xDSL