Siddharth's repositories
bollu.github.io
code + contents of my website, and programming life
lean4-entemology
Where we collect lean4 bugs
fbip-demos
Demos to test out Lean's functional but in place.
LeanAllocatorAdversary
An adverserial allocation pattern against the Lean4 memory allocator
lent-2024-logic-and-proof
Lean notes for "Logic & Proof" : Cambridge Tripos Part 1B, Lent 2024
2024-lean4-borrowing
Fork of the Lean4 compiler for borrowing changes.
Decker
A multimedia sketchpad
deep-prosody
Reading Homer while being a linguistic midwit, and so using LLMs to figure out syllables, pentameter, and prosody.
lamr
Logic and Mechanized Reasoning
lean-sys
Rust bindings for the Lean 4 proof assistant
leanid
A ghcid style half-of-an-IDE for lean
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
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
quenya.lean
A Lean4 library to build and manipulate ELF files.
ShapeUp-public
A 3D Modeler Made in a Week
taichi
Productive & portable high-performance programming in Python.