Calvin Smith (@csmith49)
github

csmith49

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    12
  • Global Rank 874,315 (Top 31 %)
  • Followers 5
  • Registered over 9 years ago
  • Most used languages
    OCaml
         71.4 %
    Python
         28.6 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 145,420
  • Country Ranking
    OCaml
         415

Top repositories

1

biglambda

Source code for the BigLambda data-parallel synthesis project.
Python
6
star
2

mote

OCaml
1
star
3

motifs

OCaml
1
star
4

logic

Python implementation of muKanren and extensions
Python
1
star
5

zinc

OCaml
1
star
6

dragoman

Rapid interpreter for object captions
OCaml
1
star
7

bach

OCaml
1
star