banbh

Pinned Repositories

banbh.github.io
GitHub pages.
Language:HTML0 1 00
CoEnumerable
A demonstration of how to combine consumers of IEnumerables, aka CoEnumerables
Language:C#0 1 00
leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
Language:CSS0 0 00
little-pythoner
Python exercises that require recursion. Loosely modeled on "The Little Schemer".
Language:Jupyter Notebook0 1 00
MiPaCo
Minimal (Monadic) Parser Combinators in C#
Language:C#0 1 00
RISE
RISE: LIVE Reveal.js Jupyter/IPython Slideshow Extension
Language:JavaScript0 1 00

banbh's Repositories

banbh/banbh.github.io
GitHub pages.
Language:HTML0 1 00
banbh/CoEnumerable
A demonstration of how to combine consumers of IEnumerables, aka CoEnumerables
Language:C#0 1 00
banbh/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
Language:CSS0 0 00
banbh/little-pythoner
Python exercises that require recursion. Loosely modeled on "The Little Schemer".
Language:Jupyter Notebook0 1 00
banbh/MiPaCo
Minimal (Monadic) Parser Combinators in C#
Language:C#0 1 00
banbh/RISE
RISE: LIVE Reveal.js Jupyter/IPython Slideshow Extension
Language:JavaScript0 1 00