Brianna Marshall (bamarsha)

bamarsha

Geek Repo

Company:Northeastern University

Location:Boston

Github PK Tool:Github PK Tool

Brianna Marshall's repositories

abacus

A simple math expression parser and calculator.

Language:HaskellStargazers:0Issues:0Issues:0
Language:PythonStargazers:0Issues:0Issues:0

destiny

Play Fate together.

Language:F#Stargazers:0Issues:0Issues:0
Language:TypeScriptStargazers:0Issues:0Issues:0

kombucha

Proof verifier for System T.

Language:HaskellStargazers:0Issues:0Issues:0

superposition

A quantum puzzle game featuring Schrödinger's cat.

Language:ScalaStargazers:13Issues:0Issues:0

qsette

Prototype for solver-aided verification of Q# programs.

Language:RacketLicense:MITStargazers:1Issues:0Issues:0

game-of-life

Conway's Game of Life in your web browser. Mix-and-match famous patterns and draw new ones.

Language:JavaScriptStargazers:0Issues:0Issues:0