Discover @bollu Open Source projects

Siddharth (@bollu)

bollu

Stars
1,941
Global Rank 15,296 (Top 0.6 %)
Followers 681
Following 109
Registered about 12 years ago
Most used languages

Haskell
29.7 %

C++
15.8 %

C
9.9 %

Python
7.9 %

Lean 5.9 %

TeX
4.0 %

Coq 3.0 %

HTML
3.0 %

Makefile 3.0 %

Jupyter Notebook
3.0 %

Rust
3.0 %

Bluespec 2.0 %

LLVM 2.0 %

C#
1.0 %

CSS
1.0 %

Racket
1.0 %

MLIR 1.0 %

JavaScript
1.0 %

Vim Script
1.0 %

Scheme
1.0 %

Clojure
1.0 %
Location 🇬🇧 United Kingdom
Country Total Rank 791
Country Ranking

Bluespec 1

MLIR 1

LLVM 2

Coq 7

Lean 11

Haskell
13

TeX
59

Racket
61

Scheme
62

HTML
79

Makefile 112

Rust
241

Vim Script
347

Jupyter Notebook
350

C++
470

Clojure
480

C
569

JavaScript
709

Python
1,039

C#
2,006

CSS
3,896

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

simplexhc

compiler with polyhedral optmization for a lazy functional programming language

timi

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

blaze

Haskell re-implementation of STOKE, the stochastic superoptimizer

Jupyter Notebook

notes

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

SublimeRealityCheck

Sublime text plugin for live value watching for interpreted languages

discrete-differential-geometry

An elegant implementation of discrete diffgeo in haskell

simplexhc-cpp

optimising compiler for Haskell's intermediate representation (STG) to LLVM IR

minitt

bollu learns implementation of dependent typing

ward

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

lean-to

Jupyter notebook for the Lean4 programming language

coremlir

Encoding of GHC Core inside MLIR

mlir-hs

Pure haskell encoding of MLIR for printing, parsing, and mutating MLIR within haskell

koans

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

lz

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

linker-koans

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

rete

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

polymage

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

hask-error-messages-catalog

A catalog of broken Haskell programs to improve error messages

diffgeo

A formalization of synthetic differential geometry in Coq using infinitesimal analysis

quantum-course-exercises

Solutions to coursework in Q#

soundsynth

Bollu learns physically based sound sythesis

w

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

IIIT-H-Code

code written for assignments and whatnot at IIIT-H

llama.lean

Reimplementation of llama.cpp in Lean4

dependence-analysis-hask

Dependence Analysis for Haskell code using the polyhedral framework

myriad

A library for manifold algorithms, as I learn discrete diferential geometry and general relativity

polyir

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

TaleOfTwoDialects

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

software-foundations-solutions

My solutions to the software foundations book

qoc

Quite Obfuscated Constructions

equinox

game to experiment with Rust, Carmack's ideas

lean4-entemology

Where we collect lean4 bugs

minos

There are many OSes, this one is mine

smol

smol IDE for a smol language that permits insane static analysis because smol

shakuni

An exploration of minimality and parallelism in probabilstic programming languages.

Jupyter Notebook

pico-mlir

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

polybench-c

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

pisigma

A reference copy of PiSigma: dependent types with without the sugar

biter

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

fbip-demos

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

elide

Elide: Elegant Metamodal Lean4 IDE.

hugs

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

dotfiles

my dotfiles for easy access

sdl2.lean

bindings to SDL2 (Simple DirectMedia library) in Lean

master-thesis

My master's thesis on NLP and representation learning

SCEV-coq

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

warren

The warren abstract machine for Pascal, in Hakell

mlir-hoopl-rete

rewrites for MLIR with hoopl / rete

functionalconf-2019-slides-probabilistic-programming

Slides for my talk at functional conf 2019 on probabilistic programming

polly

A personal fork of the Polly-LLVM project

ppcg

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

mips-bsv

an implementation of a MIPS processor in BlueSpec System Verilog

haskell-tutorial

Files for a haskell tutorial I'm teaching at IIIIT-Hyderabad

freejit

Try to JIT Free monads in Haskell.

slides-haskell-exchange-2020-smallpt

Slides for haskell exchange 2020 talk on smallpt

llvm

A fork of the LLVM project for personal use

dataflow

A view of dataflow architectures, with a modern haskell perspective

paper-deltas

Deltas: An algebraic theory of diffs in haskell

hask-lisp-interp

Lisp interpreter in Haskell

alok-bollu

A repo for work between Alok Debnath and Siddharth Bhat

sicm

structure and interpretation of classical mechanics

captainslog

Documenting the PhD slog, one day at a time

CASette

Mixtape of computer algebra system (CAS) algorithms

amalgam

amalgam ~ composite | A small library for interactive symbolic number theory explorations in haskell

gde-game

Game on using text generation to trigger empathy

unification

polymorphic type inference with unification from the Dragon book

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"

proGenY

procedurally generated 2d shooter

polybench-hs

clisparkline

Tiny haskell library to prettyprint sparklines onto the CLI!

tabledtypeclass

tabled typeclass resolution implementation

sunnyside

Equality saturation for fun and profit

functional-fluids-on-surfaces

implementation of the paper "functional fluids on surfaces"

gutenberger

fast vectorized presburger automata

hs-stockfighter

Haskell bindings to Stockfighter using Servant

decompile-transformer

The one where bollu decompiles attention models

Jupyter Notebook

lent-2024-logic-and-proof

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

musquared

Demand-agnostic managed language compiler using MLIR

smallpths

Smallpt rewrite that's fast!

tinyfort

Minimal fortran-ish language with LLVM backend, written for a compilers course

languagemodels

Me messing around with language models, trying to make NLP run on commodity hardware with weird ideas.

haikus

lean-koans

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

geometric-algebra

Implementation of geometric algebra primitives

propogators-coq

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

pegasos-svm

An implmentation of the pegasos SVM learning algorithm

ppsspp-help

Help for ppsspp

smallpt-opt

Optimizing Smallpt: Haskell Exchange reference data

competitive

Competitive coding solutions

prettyprinter-core

quchen's prettyprinter library, stolen and stripped of other code for GHC.

ghc-asterius

For of terrorjack/GHC to hack on austerius

lispInterpreter

A lisp interpreter in C++ for fun :)

FPGA-playground

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

absint

abstract interpreters for a tiny SSA language in haskell