I work in Google Cloud Security on confidential computing technology.
-
Google
- Seattle, WA
- @drdeeglaze
- @[email protected]
Popular repositories Loading
-
scribble-latex-utils
scribble-latex-utils PublicDifferent useful things I have come up with to write my papers in scribble rather than directly in LaTeX
-
Typed-Racket-SMT-type-checker
Typed-Racket-SMT-type-checker PublicAn SMT solver with an interactive interface so it can be used as an inference engine.
Racket 11
-
macro-models
macro-models PublicTyped Racket implementations of macro expander models from Matthew Flatt
-
slideshow-helpers
slideshow-helpers PublicCombinators and pict constructors I have found useful for writing slideshow presentations.
Racket 3
-
Abstract-Redex
Abstract-Redex PublicAn implementation of core PLT Redex semantics that is translated through the Abstracting Abstract Machines systematic abtraction process.
Racket 2
-
polymorphic-splitting-port
polymorphic-splitting-port PublicA Racket port of Suresh Jagannathan's and Andrew Wright's Polymorphic Splitting implementation.
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.