jrslepak/Revised-Remora jrslepak/Revised-Remora

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    Racket
  • Created over 7 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jrslepak/Revised-Remora
github

jrslepak

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

Remora

Dependently-typed language with Iverson-style implicit lifting
Racket
119
star
2

murmur3

Racket FFI binding for MurmurHash3
C
3
star
3

LinLambda

Demonstration of PLT Redex -- STLC with linear types
Racket
3
star
4

APLicative

Using Applicative to illustrate the semantics of APL arrays + first-class functions
Haskell
2
star
5

makanin-algo

Implementation of Makanin's algorithm for string equation satisfiability
Racket
1
star
6

F3TermHack

Handles Fallout 3's terminal hacking puzzles
Haskell
1
star