Phil Nguyen
Results
3
repositories owned by
Phil Nguyen
json-type-provider
15
Stars
0
Forks
Watchers
Well-typed JSON parser generator inspired by Type Provider
soft-contract
31
Stars
10
Forks
Watchers
A prototype of soft contract verification for an untyped functional language
z3-rkt
24
Stars
4
Forks
Watchers
Racket bindings for Z3