camoy/redex-parameter camoy/redex-parameter

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    Racket
  • License
    BSD Zero Clause L...
  • Created almost 5 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
camoy/redex-parameter
github

camoy

Reviews

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

Repository Details

Parameters for extensions in Redex.

More Repositories

1

corpse-reviver

Sound and efficient gradual typing via contract verification.
Racket
20
star
2

trace-contract

Racket
12
star
3

contract-etc

Miscellaneous contracts.
Racket
8
star
4

amath

An AsciiMath to MathML parser written in C.
C
6
star
5

red-black-tree

Racket
5
star
6

knuth-morris-pratt

Racket
4
star
7

contract-parameter

Dynamically bound contracts.
Racket
3
star
8

gym-kidney

OpenAI Gym environment for kidney exchange.
Python
3
star
9

typeical

An interactive visualization of run-time type data for the R programming language.
Vue
2
star
10

effect-racket

Racket
1
star
11

private-in

Require private bindings.
Racket
1
star
12

cmsc388f

This is the public repository for CMSC 388F.
Haskell
1
star
13

struct-set

Racket
1
star