ravichugh/late-types
Late Typing
Developer Profile
ravichugh
Discovered public repositories for ravichugh in the GitHub catalog.
ravichugh/refref
Refinement Types for References
ravichugh/repro-in-cs
Tracking Responses to the "Reproducibility in Computer Science" Repository (http://reproducibility.cs.arizona.edu/)
ravichugh/ucsddissertation
LaTeX class file for writing dissertations at UC San Diego
ravichugh/algorithmic-software-verification
Course Materials for Graduate Class on Algorithmic Software Verification
ravichugh/djs
Dependent JavaScript: A Typed Dialect