Justin Slepak (@jrslepak)
github

jrslepak

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    136
  • Global Rank 164,367 (Top 6 %)
  • Followers 52
  • Following 15
  • Registered over 14 years ago
  • Most used languages
    Racket
         57.1 %
    Haskell
         28.6 %
    C
         14.3 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 36,650
  • Country Ranking
    Racket
         30
    Haskell
         1,630

Top repositories

1

Remora

Dependently-typed language with Iverson-style implicit lifting
Racket
119
star
2

Revised-Remora

Semantic model based on a revision of the ESOP'14 paper
Racket
4
star
3

murmur3

Racket FFI binding for MurmurHash3
C
3
star
4

LinLambda

Demonstration of PLT Redex -- STLC with linear types
Racket
3
star
5

APLicative

Using Applicative to illustrate the semantics of APL arrays + first-class functions
Haskell
2
star
6

F3TermHack

Handles Fallout 3's terminal hacking puzzles
Haskell
1
star
7

makanin-algo

Implementation of Makanin's algorithm for string equation satisfiability
Racket
1
star