chiragbharadwaj
Long-standing fan of Counting Crows, Yellowcard, and Coldplay. Venturing into YORUSHIKA these days.
@spotifyNew York, NY
Pinned Repositories
openpiton-victim-cache
ELE575 Spring 2018 Final Project: Victim Caches in OpenPiton
redditcommentor
Generating text for Reddit comments using natural language methods.
Cornell-Course-Notes
These are my course notes from all the classes I took during my time at Cornell University. Work in progress.
crypto
Some problems in cryptography that I'm attempting to solve to further my knowledge of the subject.
cuda
Tinkering around with LLVM and NVIDIA's CUDA framework.
kasai
A collection of tools to help analyze various financial aspects of early retirement ("FIRE") in the United States.
learning-coq
Learning Coq by following the classic "Software Foundations" texts.
StanfordSummer2013
CS106a: Programming Methodology files--created at Stanford University in Summer 2013.
PokeSnowdown
Pokemon Showdown in OCaml
refinery
A proof assistant for refinement logics
chiragbharadwaj's Repositories
chiragbharadwaj/StanfordSummer2013
CS106a: Programming Methodology files--created at Stanford University in Summer 2013.
chiragbharadwaj/Cornell-Course-Notes
These are my course notes from all the classes I took during my time at Cornell University. Work in progress.
chiragbharadwaj/cuda
Tinkering around with LLVM and NVIDIA's CUDA framework.
chiragbharadwaj/learning-coq
Learning Coq by following the classic "Software Foundations" texts.
chiragbharadwaj/ro
A compiler for the Ro programming language. Compiles to x86-64. Spec complete, implementation forthcoming.
chiragbharadwaj/apollo
A static performance-estimation tool for specialized hardware accelerators.
chiragbharadwaj/chiragbharadwaj.github.io
Source code for my personal site.
chiragbharadwaj/compositions
These are my musical compositions. I typically write classical music for solo piano.
chiragbharadwaj/crypto
Some problems in cryptography that I'm attempting to solve to further my knowledge of the subject.
chiragbharadwaj/euler
My mediocre implementations of some of the problems hosted on Project Euler, from when I was in high school.
chiragbharadwaj/leonhard
More up-to-date implementations of the problems hosted on Project Euler, written in C++.
chiragbharadwaj/scripts
A collection of useful scripts that I have written.
chiragbharadwaj/kasai
A collection of tools to help analyze various financial aspects of early retirement ("FIRE") in the United States.
chiragbharadwaj/scio
A Scala API for Apache Beam and Google Cloud Dataflow.