camoy/contract-etc camoy/contract-etc

  • Stars
    star
    8
  • Rank 2,058,485 (Top 42 %)
  • Language
    Racket
  • License
    BSD Zero Clause L...
  • Created over 3 years ago
  • Updated about 2 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
camoy/contract-etc
github

camoy

Reviews

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

Repository Details

Miscellaneous contracts.

More Repositories

1

corpse-reviver

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

trace-contract

Racket
12
star
3

amath

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

red-black-tree

Racket
5
star
5

redex-parameter

Parameters for extensions in Redex.
Racket
4
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