Skip to content
View jrslepak's full-sized avatar
52 followers · 15 following
Block or Report

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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

  • makanin-algo Public

    Implementation of Makanin's algorithm for string equation satisfiability

    Racket 2 Updated Jun 1, 2020

  • Revised-Remora Public

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

    Racket 4 Updated Apr 10, 2020

  • Remora Public

    Dependently-typed language with Iverson-style implicit lifting

    Racket 121 9 Updated Mar 24, 2020

  • jrslepak.github.io Public

    HTML Updated Oct 16, 2019

  • murmur3 Public

    Racket FFI binding for MurmurHash3

    C 3 1 Updated Jun 18, 2018

  • racket Public

    Forked from racket/racket

    The Racket repository

    Racket 1 Updated Dec 6, 2016

  • APLicative Public

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

    Haskell 2 Updated Sep 23, 2015

  • remorac Public

    Forked from NVIDIA/remorac

    Compiler for a rank-polymorphic array language

    OCaml 2 BSD 3-Clause "New" or "Revised" License Updated Aug 20, 2015

  • F3TermHack Public

    Handles Fallout 3's terminal hacking puzzles

    Haskell 1 Updated Feb 22, 2012

  • LinLambda Public

    Demonstration of PLT Redex -- STLC with linear types

    Racket 3 Updated Feb 18, 2012