Siddharth's repositories
bollu.github.io
code + contents of my website, and programming life
linker-koans
Snippets that explore how linkers work, one flag at a time.
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.
ariadne.lean
A port of the ariadne rust error printing library to lean: https://docs.rs/ariadne/latest/ariadne/
deep-prosody
Reading Homer while being a linguistic midwit, and so using LLMs to figure out syllables, pentameter, and prosody.
FStar
A Proof-oriented Programming Language
lamr
Logic and Mechanized Reasoning
leanid
A ghcid style half-of-an-IDE for 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
PolCert
A verified polyhedral scheduling validator in Coq.
quenya.lean
A Lean4 library to build and manipulate ELF files.
ShapeUp-public
A 3D Modeler Made in a Week
std4
Standard Library for Lean 4
taichi
Productive & portable high-performance programming in Python.
tracy
Frame profiler