philnguyen/termination philnguyen/termination

  • Stars
    star
    1
  • Language
    Racket
  • Created over 6 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
philnguyen/termination
github

philnguyen

Reviews

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

Repository Details

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

More Repositories

1

soft-contract

A prototype of soft contract verification for an untyped functional language
Racket
34
star
2

json-type-provider

Well-typed JSON parser generator inspired by Type Provider
Racket
15
star
3

set-extras

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

psadi

Polymorphic summaries for abstract definitional interpreters
Racket
3
star
5

abstract-compilation

Simple DSL reducing some boiler plates in doing abstract compilation
Racket
2
star
6

typed-racket-hacks

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