bamarsha

PhD student at Northeastern. Previously Q# at Microsoft. I ❤️ PL.

Northeastern UniversityBoston

Pinned Repositories

abacus
A simple math expression parser and calculator.
Language:Haskell0 0 70
bamarsha.github.io
Language:HTML00
destiny
Play Fate together.
Language:F#0 2 300
game-of-life
Conway's Game of Life in your web browser. Mix-and-match famous patterns and draw new ones.
Language:JavaScript01
giftless-extras
Language:Python0 1 00
kombucha
Proof verifier for System T.
Language:Haskell00
qsette
Prototype for solver-aided verification of Q# programs.
Language:Racket1 2 01
superposition
A quantum puzzle game featuring Schrödinger's cat.
Language:Scala13 5 383
superposition-tactics-web
Language:TypeScript0 2 00

bamarsha's Repositories

bamarsha/superposition
A quantum puzzle game featuring Schrödinger's cat.
Language:Scala13 5 383
bamarsha/qsette
Prototype for solver-aided verification of Q# programs.
Language:Racket1 2 01
bamarsha/abacus
A simple math expression parser and calculator.
Language:Haskell0 0 70
bamarsha/bamarsha.github.io
Language:HTML00
bamarsha/destiny
Play Fate together.
Language:F#0 2 300
bamarsha/game-of-life
Conway's Game of Life in your web browser. Mix-and-match famous patterns and draw new ones.
Language:JavaScript01
bamarsha/giftless-extras
Language:Python0 1 00
bamarsha/kombucha
Proof verifier for System T.
Language:Haskell00
bamarsha/superposition-tactics-web
Language:TypeScript0 2 00