Siddharth (@bollu)
github

bollu

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

bollu.github.io

code + contents of my website, and programming life
HTML
361
star
2

mathemagic

Toybox of explanations of mathematics. Initial focus on (discrete) differential geometry
JavaScript
276
star
3

cellularAutomata

a collection of cellular automata written in Haskell with Diagrams
Haskell
179
star
4

tiny-optimising-compiler

A tiny *optimising* compiler for an imperative programming language written in haskell
Haskell
154
star
5

sublimeBookmark

a better bookmark system for SublimeText
Python
129
star
6

teleport

A CLI in haskell to quickly move through the filesystem
HTML
108
star
7

simplexhc

compiler with polyhedral optmization for a lazy functional programming language
Haskell
67
star
8

timi

A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages
Rust
64
star
9

blaze

Haskell re-implementation of STOKE, the stochastic superoptimizer
Jupyter Notebook
62
star
10

notes

Latex notes on papers, courses, ideas: Pure math and computer science.
TeX
61
star
11

SublimeRealityCheck

Sublime text plugin for live value watching for interpreted languages
Python
36
star
12

discrete-differential-geometry

An elegant implementation of discrete diffgeo in haskell
Haskell
33
star
13

simplexhc-cpp

optimising compiler for Haskell's intermediate representation (STG) to LLVM IR
C++
31
star
14

minitt

bollu learns implementation of dependent typing
Haskell
24
star
15

lean-to

Jupyter notebook for the Lean4 programming language
C++
24
star
16

ward

WARD is a minimal, performant infinite whiteboard app for wacom tablets
C
21
star
17

coremlir

Encoding of GHC Core inside MLIR
Haskell
16
star
18

mlir-hs

Pure haskell encoding of MLIR for printing, parsing, and mutating MLIR within haskell
Haskell
15
star
19

lz

A minimal in MLIR dialect along the lines of STG to represent laziness.
LLVM
15
star
20

koans

Short pieces of code that are "plays" - mostly haskell, sometimes math / other things
Haskell
13
star
21

linker-koans

Snippets that explore how linkers work, one flag at a time.
Makefile
11
star
22

rete

An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'
C++
11
star
23

polymage

PolyMage is a domain-specific language and optimizing code generator for auto-parallelisation
Python
10
star
24

hask-error-messages-catalog

A catalog of broken Haskell programs to improve error messages
9
star
25

diffgeo

A formalization of synthetic differential geometry in Coq using infinitesimal analysis
Coq
9
star
26

quantum-course-exercises

Solutions to coursework in Q#
C#
9
star
27

soundsynth

Bollu learns physically based sound sythesis
C++
7
star
28

w

algorithms implemented in C++, written in the arthur whitney style
C++
7
star
29

llama.lean

Reimplementation of llama.cpp in Lean4
C
7
star
30

IIIT-H-Code

code written for assignments and whatnot at IIIT-H
C
7
star
31

myriad

A library for manifold algorithms, as I learn discrete diferential geometry and general relativity
Haskell
5
star
32

dependence-analysis-hask

Dependence Analysis for Haskell code using the polyhedral framework
5
star
33

elide

Elide: Elegant Metamodal Lean4 IDE.
C++
5
star
34

polyir

A semantics for the types of loops that can be modelled by polyhedral compilation techniques, developed in Coq.
Coq
5
star
35

TaleOfTwoDialects

nontrivial lowering examples for MLIR that are ignored by the MLIR tutorials
C++
5
star
36

software-foundations-solutions

My solutions to the software foundations book
HTML
5
star
37

qoc

Quite Obfuscated Constructions
Haskell
4
star
38

equinox

game to experiment with Rust, Carmack's ideas
Rust
4
star
39

lean4-entemology

Where we collect lean4 bugs
Lean
4
star
40

minos

There are many OSes, this one is mine
Makefile
4
star
41

mlir-hoopl-rete

rewrites for MLIR with hoopl / rete
MLIR
4
star
42

smol

smol IDE for a smol language that permits insane static analysis because smol
C
4
star
43

shakuni

An exploration of minimality and parallelism in probabilstic programming languages.
Jupyter Notebook
4
star
44

pico-mlir

A mini language written using MLIR + MAKEFILES! so you get to see all the commands, no CMake magic.
C++
4
star
45

polybench-c

PolyBench/C from http://web.cse.ohio-state.edu/~pouchet/software/polybench/
C
3
star
46

pisigma

A reference copy of PiSigma: dependent types with without the sugar
Haskell
3
star
47

lean.egraphs

Egraphs & ematching in Lean
C++
3
star
48

biter

library / CLI as a swiss-army knife for low level bit fiddling debugging.
Haskell
3
star
49

fbip-demos

Demos to test out Lean's functional but in place.
Lean
3
star
50

hugs

A copy of the hugs haskell98 implementation; hoping to eliminate bitrot
Haskell
3
star
51

sdl2.lean

bindings to SDL2 (Simple DirectMedia library) in Lean
C
3
star
52

dotfiles

my dotfiles for easy access
Vim Script
3
star
53

master-thesis

My master's thesis on NLP and representation learning
TeX
3
star
54

SCEV-coq

LLVM's loop analysis theory (Scalar Evolution) formalized in Coq
Makefile
3
star
55

warren

The warren abstract machine for Pascal, in Hakell
Haskell
3
star
56

functionalconf-2019-slides-probabilistic-programming

Slides for my talk at functional conf 2019 on probabilistic programming
Haskell
3
star
57

polly

A personal fork of the Polly-LLVM project
C
2
star
58

ppcg

A fork of the original PPCG with debug code: http://repo.or.cz/w/ppcg.git
C
2
star
59

mips-bsv

an implementation of a MIPS processor in BlueSpec System Verilog
Bluespec
2
star
60

haskell-tutorial

Files for a haskell tutorial I'm teaching at IIIIT-Hyderabad
Haskell
2
star
61

freejit

Try to JIT Free monads in Haskell.
Haskell
2
star
62

slides-haskell-exchange-2020-smallpt

Slides for haskell exchange 2020 talk on smallpt
TeX
2
star
63

llvm

A fork of the LLVM project for personal use
LLVM
2
star
64

dataflow

A view of dataflow architectures, with a modern haskell perspective
Haskell
2
star
65

paper-deltas

Deltas: An algebraic theory of diffs in haskell
TeX
2
star
66

hask-lisp-interp

Lisp interpreter in Haskell
Haskell
2
star
67

alok-bollu

A repo for work between Alok Debnath and Siddharth Bhat
C
2
star
68

sicm

structure and interpretation of classical mechanics
Scheme
2
star
69

CASette

Mixtape of computer algebra system (CAS) algorithms
Lean
2
star
70

captainslog

Documenting the PhD slog, one day at a time
2
star
71

amalgam

amalgam ~ composite | A small library for interactive symbolic number theory explorations in haskell
Haskell
2
star
72

gde-game

Game on using text generation to trigger empathy
Python
2
star
73

unification

polymorphic type inference with unification from the Dragon book
C++
2
star
74

warren-cpp

An implementation of warren, the abstract machine for Prolog. Is a transcription of the lecture notes "warren's abstract machine a tutorial reconstruction"
C++
2
star
75

proGenY

procedurally generated 2d shooter
C++
2
star
76

lent-2024-logic-and-proof

Lean notes for "Logic & Proof" : Cambridge Tripos Part 1B, Lent 2024
Lean
1
star
77

clisparkline

Tiny haskell library to prettyprint sparklines onto the CLI!
Haskell
1
star
78

polybench-hs

Polybench HS
C
1
star
79

tabledtypeclass

tabled typeclass resolution implementation
C++
1
star
80

functional-fluids-on-surfaces

implementation of the paper "functional fluids on surfaces"
Python
1
star
81

sunnyside

Equality saturation for fun and profit
Rust
1
star
82

optics

optics and refraction simulation in C++
C
1
star
83

gutenberger

fast vectorized presburger automata
Haskell
1
star
84

hs-stockfighter

Haskell bindings to Stockfighter using Servant
Haskell
1
star
85

decompile-transformer

The one where bollu decompiles attention models
Jupyter Notebook
1
star
86

musquared

Demand-agnostic managed language compiler using MLIR
Haskell
1
star
87

smallpths

Smallpt rewrite that's fast!
Haskell
1
star
88

tinyfort

Minimal fortran-ish language with LLVM backend, written for a compilers course
C++
1
star
89

languagemodels

Me messing around with language models, trying to make NLP run on commodity hardware with weird ideas.
C++
1
star
90

haikus

detect haikus
Python
1
star
91

lean-koans

A dumping ground for short Lean programs that demonstrate a point: a kōan
Lean
1
star
92

geometric-algebra

Implementation of geometric algebra primitives
Haskell
1
star
93

propogators-coq

A formalisation of propogators as ekmett speaks about them on the livestream: https://www.twitch.tv/ekmett
Coq
1
star
94

pegasos-svm

An implmentation of the pegasos SVM learning algorithm
Python
1
star
95

ppsspp-help

Help for ppsspp
CSS
1
star
96

competitive

Competitive coding solutions
C++
1
star
97

prettyprinter-core

quchen's prettyprinter library, stolen and stripped of other code for GHC.
Haskell
1
star
98

ghc-asterius

For of terrorjack/GHC to hack on austerius
Haskell
1
star
99

lispInterpreter

A lisp interpreter in C++ for fun :)
C++
1
star
100

FPGA-playground

Code written using BlueSpec Verilog, general FPGA messing around for my course
Bluespec
1
star