Pinned Repositories
advent2018
Solutions to advent of code 2018
cellular-automata
combinatorics
exponential-ramsey
floods
Haskell implementation of Flood-It
maths-notes
Lecture notes from Cambridge maths
robot-one
sunflower
topos
Topos theory in lean
unit-fractions
b-mehta's Repositories
b-mehta/floods
Haskell implementation of Flood-It
b-mehta/robot-one
b-mehta/advent2018
Solutions to advent of code 2018
b-mehta/cellular-automata
b-mehta/mandelbrot
b-mehta/b-mehta.github.io
Public uploads of my lecture notes
b-mehta/cam-notes
My Cambridge Lecture Notes
b-mehta/containers-backpack
🎒 Backpack interface for containers
b-mehta/exact-pi
Exact rational multiples of pi (and integer powers of pi) in Haskell
b-mehta/gogen
b-mehta/haskell
Exercism exercises in Haskell.
b-mehta/incredible
The Incredible Proof Machine
b-mehta/logict
b-mehta/maps
b-mehta/primitive-containers
Map and Set over contiguous memory
b-mehta/relude
🌀 Relude: Reload your Prelude
b-mehta/TeXnique
A LaTeX Typesetting Game
b-mehta/tripos
Cambridge Maths Tripos notes
b-mehta/united
United Monoids
b-mehta/website-copy
A repository for exercism's website's copy
b-mehta/whitespace-nd
The popular Whitespace programming language with my changes.