Chirag Bharadwaj's repositories
StanfordSummer2013
CS106a: Programming Methodology files--created at Stanford University in Summer 2013.
Cornell-Course-Notes
These are my course notes from all the classes I took during my time at Cornell University. Work in progress.
learning-coq
Learning Coq by following the classic "Software Foundations" texts.
compositions
These are my musical compositions. I typically write classical music for solo piano.
scio
A Scala API for Apache Beam and Google Cloud Dataflow.
Language:ScalaApache-2.0000