Block or report user

Report or block jfrankle

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse
  • Cambridge, MA

Popular repositories

  1. refinements-popl-16

    Artifact of "Example-Directed Synthesis: A Type-Theoretic Implementation" by Frankle, Osera, Walker, and Zdancewic.

    F# 4 3

  2. ml-project


0 contributions in the last year

Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Mon Wed Fri

Contribution activity

January - July 2018

jfrankle has no activity yet for this period.

Seeing something unexpected? Take a look at the GitHub profile guide.