philnguyen/set-extras

Stars
6
Rank 2,475,694 (Top 50 %)
Language
Racket
Created about 7 years ago
Updated almost 2 years ago

philnguyen/set-extras

philnguyen

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

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

soft-contract

A prototype of soft contract verification for an untyped functional language

json-type-provider

Well-typed JSON parser generator inspired by Type Provider

psadi

Polymorphic summaries for abstract definitional interpreters

abstract-compilation

Simple DSL reducing some boiler plates in doing abstract compilation

termination

Modified Racket with dynamic enforcement of (size-change) termination

typed-racket-hacks

Various workarounds for mainstream Typed Racket, most of which are expected to be eventually obsolete.