Explore

CakeML

cakeml.org

1

Understanding a Trait Selection Bug

1

Practical parsing with PEG and cpp-peglib - Bert Hubert's writings

berthub.eu

A very practical introduction to Parsing Expression Grammars (PEGs), in which we’ll build a non-trivial parser...

1

Dataflow Analyses and Compiler Optimizations that Use Them, for Free – Embedded in Academia

regehr.org

2

LLVM is Smarter Than Me - sulami's blog

sulami.xyz

I was reading Algorithms for Modern Hardware recently, specifically the chapter on SIMD, and was impressed...

2

PEP 744 – JIT Compilation | peps.python.org

python.org

2

Solving Advent of Code ’23 “Aplenty” by Compiling

abhinavsarkar.net

1

Improvements to static analysis in the GCC 14 compiler | Red Hat Developer

redhat.com

2

David A. Wheeler – Countering Trusting Trust via Diverse Double-Compiling (2009)

dwheeler.com

1

Speedbuilding LLVM/Clang in 3 minutes on Power10 | Frederic Cambus

cambus.net

1

Context: The Missing Feature of Programming Languages

medium.com

Modern computer hardware is so capable that we can often simply ignore its limitations when writing...

1

Cranelift code generation comes to Rust [LWN.net]

lwn.net

2

Type system of the React compiler

2

The Flambda2 Snippets, Episode 0

ocamlpro.com

1

CPS Representation and Foundational Design Decisions in Flambda2

ocamlpro.com

1

Bringing Verse Transactional Memory Semantics to C++

unrealengine.com

2

More Fixpoints! (Functional Pearl)

acm.org

Haskell’s laziness allows the programmer to solve some problems naturally and declaratively via recursive equations. Unfortunately,...

2

Chlorophyll: Synthesis-Aided Compiler for Low-Power Spatial Architectures (2014)

washington.edu

We developed Chlorophyll, a synthesis-aided programming model and compiler for the GreenArrays GA144, an extremely minimal-...

1

GitHub - boothby/repiet: A compiler for the esoteric language Piet, targeting multiple backends.

github.com

1

Compiler Theory and Reactivity

3

re2c — re2c 3.0 documentation

2

Firm - Optimization and Machine Code Generation

libfirm.org

1

GitHub - Mati365/ts-c-compiler: ⚙️ Multipass C Compiler, Assembler and X86 emulator written in TypeScript

github.com

1