Skip to content
View jrslepak's full-sized avatar
57 followers · 15 following

Block or report jrslepak

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. Remora Remora Public

    Dependently-typed language with Iverson-style implicit lifting

    Racket 126 10

  2. Revised-Remora Revised-Remora Public

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

    Racket 5

  3. LinLambda LinLambda Public

    Demonstration of PLT Redex -- STLC with linear types

    Racket 3

  4. murmur3 murmur3 Public

    Racket FFI binding for MurmurHash3

    C 3 1

  5. APLicative APLicative Public

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

    Haskell 3

  6. makanin-algo makanin-algo Public

    Implementation of Makanin's algorithm for string equation satisfiability

    Racket 3