Justin Slepak jrslepak

Popular repositories Loading

1. Remora Remora Public

   Dependently-typed language with Iverson-style implicit lifting

   Racket 128 10

2. Revised-Remora Revised-Remora Public

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

   Racket 6

3. makanin-algo makanin-algo Public

   Implementation of Makanin's algorithm for string equation satisfiability

   Racket 4

4. LinLambda LinLambda Public

   Demonstration of PLT Redex -- STLC with linear types

   Racket 3

5. murmur3 murmur3 Public

   Racket FFI binding for MurmurHash3

   C 3 1

6. APLicative APLicative Public

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

   Haskell 3