Trained in mathematics, now obsessed with concurrency, functional programming, distributed systems, and (ghast) formal verification.
Also on stackexchange
-
Microsoft
- Seattle, Washington
- orientalfreelancer.blogspot.com
Popular repositories Loading
-
FSharpKoans
FSharpKoans PublicForked from ChrisMarinos/FSharpKoans
A simple, fun, and interactive way to learn the F# language through testing.
F#
-
ftc_app
ftc_app PublicForked from ftctechnh/ftc_app
FTC Android Studio project to create FTC Robot Controller app.
Java
-
-
TypeScript
TypeScript PublicForked from microsoft/TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
TypeScript
-
-
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.