Siddharth

bollu.github.io. code + contents of my website, and programming life

mathemagic. Toybox of explanations of mathematics. Initial focus on (discrete) differential geometry

cellularAutomata. a collection of cellular automata written in Haskell with Diagrams

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

sublimeBookmark. a better bookmark system for SublimeText

teleport. A CLI in haskell to quickly move through the filesystem

rete. An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'

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

simplexhc. compiler with polyhedral optmization for a lazy functional programming language

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

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

SublimeRealityCheck. Sublime text plugin for live value watching for interpreted languages

minitt. bollu learns implementation of dependent typing

discrete-differential-geometry. An elegant implementation of discrete diffgeo in haskell

simplexhc-cpp. optimising compiler for Haskell's intermediate representation (STG) to LLVM IR

lean-to. Jupyter notebook for the Lean4 programming language

ward. WARD is a minimal, performant infinite whiteboard app for wacom tablets

coremlir. Encoding of GHC Core inside MLIR

mlir-hs. Pure haskell encoding of MLIR for printing, parsing, and mutating MLIR within haskell

lz. A minimal in MLIR dialect along the lines of STG to represent laziness.

polymage. PolyMage is a domain-specific language and optimizing code generator for auto-parallelisation

koans. Short pieces of code that are "plays" - mostly haskell, sometimes math / other things

nonlin-mba-blast-hensel. A conjectural nonlinear version of the MBA blast algorithm based on hensel's lemma

diffgeo. A formalization of synthetic differential geometry in Coq using infinitesimal analysis

linker-koans. Snippets that explore how linkers work, one flag at a time.

CASette. Mixtape of computer algebra system (CAS) algorithms

soundsynth. Bollu learns physically based sound sythesis

w. algorithms implemented in C++, written in the arthur whitney style

quantum-course-exercises. Solutions to coursework in Q#

hask-error-messages-catalog. A catalog of broken Haskell programs to improve error messages

llama.lean. Reimplementation of llama.cpp in Lean4

IIIT-H-Code. code written for assignments and whatnot at IIIT-H

qoc. Quite Obfuscated Constructions

TaleOfTwoDialects. nontrivial lowering examples for MLIR that are ignored by the MLIR tutorials

elide. Elide: Elegant Metamodal Lean4 IDE.

hugs. A copy of the hugs haskell98 implementation; hoping to eliminate bitrot

prospect. :pick: static analysis of free monads

dependence-analysis-hask. Dependence Analysis for Haskell code using the polyhedral framework

pico-mlir. A mini language written using MLIR + MAKEFILES! so you get to see all the commands, no CMake magic.

fbip-demos. Demos to test out Lean's functional but in place.

lean.egraphs. Egraphs & ematching in Lean

equinox. game to experiment with Rust, Carmack's ideas

minos. There are many OSes, this one is mine

sunnyside. Equality saturation for fun and profit

captainslog. Documenting the PhD slog, one day at a time