☕
You know, this is - excuse me - a DAMN fine cup of coffee.
Research Engineer designing domain-specific languages. Haskell/Rust programmer, teacher at heart.
-
Galois, Inc. (@GaloisInc)
- Portland, OR
Highlights
- Pro
Block or Report
Block or report ChrisEPhifer
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories
-
representation-tools
representation-tools PublicBasic tools for studying machine representation of data
C
-
-
tiny-compiler
tiny-compiler PublicMy work on Jack Crenshaw's "Let's Build a Compiler!" tutorial series.
Pascal
-
-
dependent-haskell-demo
dependent-haskell-demo PublicA quick demo of the dependent type features available in Haskell via language extensions
Haskell
-
nintendo-entertainment-security
nintendo-entertainment-security PublicA repository hosting my presentation slides accompanying my paper, Nintendo Entertainment Security: A Review of Nintendo Console Hacking
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.