[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View bollu's full-sized avatar
715 followers · 148 following

Achievements

Achievement: Pair Extraordinairex4Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Sharkx3

Achievements

Achievement: Pair Extraordinairex4Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Sharkx3

Organizations

@coq @sagemath @fpindia @iiittheorygroup

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

Pinned Loading

  1. blaze blaze Public

    Haskell re-implementation of STOKE, the stochastic superoptimizer

    Jupyter Notebook 63 2

  2. timi timi Public

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

    Rust 68 2

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

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

    Haskell 157 6

  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

    MLIR 91 10