A chronologically sorted list of influential papers on compiler optimization, from the seminal works of 1952 through the advanced techniques of 1994

Bloodytools offer multiple different input generators for SimulationCraft. E.g. Trinkets, Races, Legendaries, Soulbinds, and Secondary Distributions....

SimulationCraft WoW Addon

Simulationcraft engine/GUI

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…

An introduction to programming language theory in Agda

This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.

The x86 processor fuzzer

WoW TomTom addon - https://www.curseforge.com/wow/addons/tomtom

Google's Operations Research tools:

CP Optimizer back end for Minizinc

The MiniZinc compiler

p5.js is a client-side JS platform that empowers artists, designers, students, and anyone to learn to code and express themselves creatively on the web. It is based on the core principles of Proces…

Compile-time LISP interpreter on C macro preprocessor

The Julia Programming Language

Functional programming and type systems

A Coq library for Homotopy Type Theory

The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…