Skip to content


  • Pro


@fpindia @iiittheorygroup
Block or Report

Block or report bollu

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Add an optional note:
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse


  1. blaze Public

    Haskell re-implementation of STOKE, the stochastic superoptimizer

    Jupyter Notebook 62 2

  2. timi Public

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

    Rust 63 2

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

    Haskell 154 6

  4. embedding MLIR in LEAN

    Lean 20 2

  5. notes Public

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

    TeX 47 8

  6. SCEV-coq Public

    A formalisation of the theory of SCEV (Scalar evolution / Chains of recurrences) in the Coq theorem prover

    Makefile 2 1

1,925 contributions in the last year

Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Mon Wed Fri
Activity overview
Contributed to opencompl/lean-mlir, bollu/mlir-hoopl-rete, bollu/smol and 69 other repositories

Contribution activity

September 2022

Created 2 repositories

Created a pull request in opencompl/lean-mlir that received 1 comment

dialect projection

Add dialect projection. @lephe: do you have a clean strategy for the proof that I've sorried, and how we ought to integrate this into the wider sem…

+176 −1 1 comment
Opened 3 other pull requests in 2 repositories
bollu/lean-llvm 2 open
opencompl/lean-mlir 1 open
Opened 3 issues in 1 repository
23 contributions in private repositories Sep 1 – Sep 23

Seeing something unexpected? Take a look at the GitHub profile guide.