programming languages, formal verification, game dev, game theory
-
CS PhD student at UMD
- Washington, DC
- rybl.net
- @rybl4
- @rybl.net
- @[email protected]
Pinned Loading
-
-
chronolog
chronolog PublicA Prolog style solver with goal suspension and resumption control.
Haskell
-
-
ce-editor
ce-editor PublicA structured constructor-expression editor written in Purescript.
PureScript
-
Thesis-Purity-and-Effect
Thesis-Purity-and-Effect PublicPurity and Effect in Programming Languages ––– Henry Blanchette's undergraduate thesis for BA in Computer Science at Reed College.
TeX
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.




