Jonathan Frankle (@jfrankle)
github

jfrankle

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    14
  • Global Rank 798,014 (Top 28 %)
  • Followers 155
  • Following 1
  • Registered almost 11 years ago
  • Most used languages
    F#
         100.0 %
  • Location ๐Ÿ‡บ๐Ÿ‡ธ United States
  • Country Total Rank 139,947
  • Country Ranking
    F#
         177

Top repositories

1

refinements-popl-16

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