Ravi Chugh's repositories
sketch-n-sketch
Direct Manipulation Programming for HTML/SVG
late-types
Late Typing
builtwithelm
A list of projects and apps built with Elm.
repro-in-cs
Tracking Responses to the "Reproducibility in Computer Science" Repository (http://reproducibility.cs.arizona.edu/)
algorithmic-software-verification
Course Materials for Graduate Class on Algorithmic Software Verification
elm-lang.org
The full source for http://elm-lang.org/, the home-page of the Elm programming language. Open sourced as a way to teach people how to write and serve Elm code. Follow the instructions in README.md to get the site setup on your own machine.
Language:JavaScriptUnlicense000
HappyCoding
This is the source code behind HappyCoding.io, including all tutorials and examples.
Language:HTMLNOASSERTION000
ucsddissertation
LaTeX class file for writing dissertations at UC San Diego