Siddharth bollu

• University of Cambridge

• Cambridge
• pixel-druid.com

Pinned Loading

1. Haskell re-implementation of STOKE, the stochastic superoptimizer

   Jupyter Notebook 65 2

2. A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages

   Rust 73 2

3. A tiny *optimising* compiler for an imperative programming language written in haskell

   Haskell 161 6

4. Latex notes on papers, courses, ideas: Pure math and computer science.

   TeX 65 8

5. LLVM's loop analysis theory (Scalar Evolution) formalized in Coq

   Makefile 9 1

6. A minimal development of SSA theory

   Lean 211 23