Former PSU PhD student.
Recently transitioned to GitHub from another git service
- Portland, OR
Block or Report
Block or report natelaunchbury
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories Loading
-
-
-
fcf
fcf PublicForked from adampetcher/fcf
Foundational Cryptography Framework for machine-checked proofs of cryptography.
Coq
-
adventOfCode2018
adventOfCode2018 PublicSelected solutions to some Advent of Code 2018 problems (https://adventofcode.com/2018)
Haskell
-
-
python-challenge
python-challenge PublicSolutions to some problems from The Python Challenge (http://www.pythonchallenge.com/)
Python
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.