🐻
Pure math grad student
-
University of Utah
- Salt Lake City, Utah
- brendan.phd
Block or Report
Block or report Shamrock-Frost
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
Cosette
Cosette PublicForked from uwdb/Cosette
Cosette is an automated SQL solver powered by Coq and Rosette.
Lean
-
hackett
hackett PublicForked from lexi-lambda/hackett
WIP implementation of a Haskell 98-like Lisp in Racket
Racket 1
-
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.