Pinned Loading

1. blaze blaze Public

   Haskell re-implementation of STOKE, the stochastic superoptimizer

   Jupyter Notebook 64 2

2. timi timi Public

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

   Rust 71 2

3. tiny-optimising-compiler tiny-optimising-compiler Public

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

   Haskell 158 7

4. notes notes Public

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

   TeX 61 8

5. SCEV-coq SCEV-coq Public

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

   Makefile 4 1

6. opencompl/lean-mlir opencompl/lean-mlir Public

   A minimal development of SSA theory

   Lean 185 20