Kevin Leimkuhler (@kleimkuhler)
github

kleimkuhler

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    4
  • Global Rank 1,611,161 (Top 56 %)
  • Followers 42
  • Following 2
  • Registered over 11 years ago
  • Most used languages
    Racket
         100.0 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 239,173
  • Country Ranking
    Racket
         296

Top repositories

1

bidir-typeck

Minimal example of bidirectional type checking in Racket
Racket
1
star
2

turnstile-lc

Minimal example of a type system implemented with macros in Racket
Racket
1
star