bollu

bollu.github.io

code + contents of my website, and programming life

elide

Elide: Elegant Metamodal Lean4 IDE.

lean4-entemology

Where we collect lean4 bugs

dotfiles

my dotfiles for easy access

CASette

Mixtape of computer algebra system (CAS) algorithms

lent-2024-logic-and-proof

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

optics

optics and refraction simulation in C++

xdsl

A Python Compiler Design Toolkit

2024-lean4-borrowing

Fork of the Lean4 compiler for borrowing changes.

debruijn-ssa

Decker

A multimedia sketchpad

ELFSage

A toy ELF parser/validator

lamr

Logic and Mechanized Reasoning

lean-sys

Rust bindings for the Lean 4 proof assistant

lean4

Lean 4 programming language and theorem prover

leanid

A ghcid style half-of-an-IDE for lean

libpoly

LibPoly is a C library for manipulating polynomials

LNSym

Armv8 Native Code Symbolic Simulator in Lean

madoko

Madoko is a fast markdown processor for high quality academic and technical articles

matchgoal.lean

Match goal tactic for lean

MicroHs

Haskell implemented with combinators

paper-pearl-zippy-ssa-rewriting

A proof pearl on using zippers to encode SSA rewriting

paper-proof-pearl-zippy-rewriting

The one with the zipper for region rewriting

pointerchase.lean

The one where bollu bends well founded induction for convenient pointer chasing APIs

quenya.lean

A Lean4 library to build and manipulate ELF files.

raylean

Lean4 bindings for raylib

ShapeUp-public

A 3D Modeler Made in a Week

std4

Standard Library for Lean 4

tracy

Frame profiler

vim

Vim config file