- Carlsbad, CA
- http:https://joshua.ball.name
Highlights
- Pro
Block or Report
Block or report sciolizer
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories Loading
-
maru-annotated
maru-annotated PublicA clone of Piumarta's Maru 1.0, with some comments added for my own understanding
-
-
-
everywhere-purescript
everywhere-purescript PublicExamples of how to run a purescript program in various environments
C 2
-
abstract-interpretation-couset-couset
abstract-interpretation-couset-couset PublicA modern "translation" of Cousot and Cousot's original paper on abstract interpretation (1977)
Haskell 2
-
knockout
knockout PublicForked from knockout/knockout
Knockout makes it easier to create rich, responsive UIs with JavaScript
JavaScript 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.