Phil Nguyen (@philnguyen)
github

philnguyen

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    82
  • Global Rank 232,683 (Top 9 %)
  • Followers 38
  • Following 15
  • Registered over 14 years ago
  • Most used languages
    Racket
         100.0 %
  • Location 🇺🇸 United States
  • Country Total Rank 49,732
  • Country Ranking
    Racket
         51

Top 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

termination

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

typed-racket-hacks

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