Popular repositories Loading

1. soft-contract soft-contract Public

   A prototype of soft contract verification for an untyped functional language

   Racket 35 10

2. z3-rkt z3-rkt Public

   Forked from sunshowers/z3.rkt

   Racket bindings for Z3

   Racket 24 5

3. json-type-provider json-type-provider Public

   Well-typed JSON parser generator inspired by Type Provider

   Racket 16

4. set-extras set-extras Public

   Extra conveniences for Racket set, including fancy unicode aliases and more comprehension forms

   Racket 6 2

5. psadi psadi Public

   Polymorphic summaries for abstract definitional interpreters

   Racket 3

6. abstract-compilation abstract-compilation Public

   Simple DSL reducing some boiler plates in doing abstract compilation

   Racket 2 1