jrslepak/Remora jrslepak/Remora

  • Stars
    star
    119
  • Rank 295,956 (Top 6 %)
  • Language
    Racket
  • Created over 11 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jrslepak/Remora
github

jrslepak

Reviews

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

Repository Details

Dependently-typed language with Iverson-style implicit lifting

More Repositories

1

Revised-Remora

Semantic model based on a revision of the ESOP'14 paper
Racket
4
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

F3TermHack

Handles Fallout 3's terminal hacking puzzles
Haskell
1
star
6

makanin-algo

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