The JavaScript Oxidation Compiler

AMO-Lean: Towards Formally Verified Optimization via Equality Saturation in Lean 4

Aether: A Compiled Actor-Based Language for High-Performance Concurrency

Zap programing language

How much will/ have AI coding be involved in current Compiler development?

Testing best practice

SC-NeuroCore: Rust neuromorphic SNN compiler with 512× speedup & FPGA equivalence

Haven't found my purpose on learning compiler

Writing a compiler (technically transpiler) that compiles a custom language into brainfuck

Comparing Shunting Yard and Pratt (Top-Down Operator Precedence)