Cris Perdue (@crisperdue)
github

crisperdue

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    18
  • Global Rank 684,145 (Top 24 %)
  • Followers 6
  • Following 4
  • Registered over 12 years ago
  • Most used languages
    TypeScript
         33.3 %
    HTML
         33.3 %
    OCaml
         33.3 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 122,261
  • Country Ranking
    OCaml
         380
    TypeScript
         9,760

Top repositories

1

prooftoys

Interactive, web-based visual math assistant
TypeScript
9
star
2

practical-logic

Code resources from John Harrison's "Handbook of Practical Logic and Automated Reasoning"
OCaml
6
star
3

mathtoys

Mathtoys assistant for high school algebra
HTML
3
star