Pinned Loading

1. blaze blaze Public

   Haskell re-implementation of STOKE, the stochastic superoptimizer

   Jupyter Notebook 65 2

2. timi timi Public

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

   Rust 73 2

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

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

   Haskell 160 6

4. notes notes Public

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

   TeX 66 8

5. SCEV-coq SCEV-coq Public

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

   Makefile 9 1

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

   A minimal development of SSA theory

   Lean 207 23