Discover @philnguyen Open Source projects

Phil Nguyen (@philnguyen)

philnguyen

Stars
82
Global Rank 239,858 (Top 9 %)
Followers 38
Following 15
Registered about 15 years ago
Most used languages

Racket
100.0 %
Location 🇺🇸 United States
Country Total Rank 49,732
Country Ranking

Racket
51

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

set-extras

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

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.