jrslepak

APLicative

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

F3TermHack

Handles Fallout 3's terminal hacking puzzles

LinLambda

Demonstration of PLT Redex -- STLC with linear types

makanin-algo

Implementation of Makanin's algorithm for string equation satisfiability

murmur3

Racket FFI binding for MurmurHash3

Remora

Dependently-typed language with Iverson-style implicit lifting

remorac

Compiler for a rank-polymorphic array language

Revised-Remora

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

jrslepak/Remora

Dependently-typed language with Iverson-style implicit lifting

jrslepak/Revised-Remora

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

jrslepak/LinLambda

Demonstration of PLT Redex -- STLC with linear types

jrslepak/murmur3

Racket FFI binding for MurmurHash3

jrslepak/APLicative

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

jrslepak/makanin-algo

Implementation of Makanin's algorithm for string equation satisfiability

jrslepak/remorac

Compiler for a rank-polymorphic array language

jrslepak/F3TermHack

Handles Fallout 3's terminal hacking puzzles

jrslepak/racket

The Racket repository

jrslepak/jrslepak.github.io