Pinned Repositories
algorithmic-software-verification
Course Materials for Graduate Class on Algorithmic Software Verification
builtwithelm
A list of projects and apps built with Elm.
djs
Dependent JavaScript: A Typed Dialect
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.
futureofcoding.org
HappyCoding
This is the source code behind HappyCoding.io, including all tutorials and examples.
late-types
Late Typing
refref
Refinement Types for References
repro-in-cs
Tracking Responses to the "Reproducibility in Computer Science" Repository (http://reproducibility.cs.arizona.edu/)
sketch-n-sketch
Direct Manipulation Programming for HTML/SVG
ravichugh's Repositories
ravichugh/sketch-n-sketch
Direct Manipulation Programming for HTML/SVG
ravichugh/djs
Dependent JavaScript: A Typed Dialect
ravichugh/late-types
Late Typing
ravichugh/builtwithelm
A list of projects and apps built with Elm.
ravichugh/repro-in-cs
Tracking Responses to the "Reproducibility in Computer Science" Repository (http://reproducibility.cs.arizona.edu/)
ravichugh/algorithmic-software-verification
Course Materials for Graduate Class on Algorithmic Software Verification
ravichugh/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.
ravichugh/futureofcoding.org
ravichugh/HappyCoding
This is the source code behind HappyCoding.io, including all tutorials and examples.
ravichugh/refref
Refinement Types for References
ravichugh/ucsddissertation
LaTeX class file for writing dissertations at UC San Diego