camoy/trace-contract camoy/trace-contract

  • Stars
    star
    12
  • Rank 1,597,372 (Top 32 %)
  • Language
    Racket
  • Created about 2 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
camoy/trace-contract
github

camoy

Reviews

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

Repository Details

More Repositories

1

corpse-reviver

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

contract-etc

Miscellaneous contracts.
Racket
8
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