Firefox fork with compiler optimizations and patches from Librewolf, Waterfox, and GNU IceCat.

A self-hosting and educational C optimizing compiler

Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.

One (onelang) is an open-source system programming language that makes it easy to build reliable, efficient and performant software. (release as soon) 1️⃣ 🕐 🩱

南京大学《软件分析》课程课后作业(非Bamboo) NJU's software analysis homework; ... Not official, just a reference

The HPC toolbox: fused matrix multiplication, convolution, data-parallel strided tensor primitives, OpenMP facilities, SIMD, JIT Assembler, CPU detection, state-of-the-art vectorized BLAS for floats and integers

Yet Another Brainfuck Compiler; No dependencies and from the ground up

CSCD70 Compiler Optimization

A tiny C compiler written purely in JavaScript.

A compiler collection I made :&

The Higher-Order Intermediate Representation

A curated list of awesome resources and learning materials in the field of X internals

SuperSonic, a new open-source framework to allow compiler developers to integrate RL into compilers easily, regardless of their RL expertise.

An awesome list of e-graph resources

RV: A Unified Region Vectorizer for LLVM

A curated list of research papers, datasets, and tools for applying machine learning/Deep learning techniques to compilers and program optimization.

Register Allocator for 8086

Sacalon is a general purpose and open source programming language designed to build optimal, maintainable, reliable and efficient software.

The hyper-hackable text editor - Compiler Optimized, Community Maintained Fork

Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations