Ranjit Jhala

icon indicating a website link www.cs.ucsd.edu/~rjhala icon indicating an email [email protected]

icon company University of California, San Diego icon location San Diego, CA

Results 82 repositories owned by Ranjit Jhala

sprite-lang

123
Stars
11
Forks
Watchers

An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.

verified publisher icon ranjitjhala