Discover @jrslepak Open Source projects

Justin Slepak (@jrslepak)

jrslepak

Stars
136
Global Rank 165,618 (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,512

Remora

Dependently-typed language with Iverson-style implicit lifting

Revised-Remora

Semantic model based on a revision of the ESOP'14 paper

murmur3

Racket FFI binding for MurmurHash3

LinLambda

Demonstration of PLT Redex -- STLC with linear types

APLicative

Using Applicative to illustrate the semantics of APL arrays + first-class functions

makanin-algo

Implementation of Makanin's algorithm for string equation satisfiability

F3TermHack

Handles Fallout 3's terminal hacking puzzles