Saswat Padhi's repositories
pseudocode.js
Beautiful pseudocode for the Web
LoopInvGen
Generates loop invariants for program verification
purity-jekyll-theme
Meet Purity - a clean, blazing-fast, highly configurable theme for Jekyll.
prismjs-bibtex
A language definition for BibTeX in the PrismJS syntax highlighting framework.
saswatpadhi.github.io
Code for my personal webpage.
ExcelSynth
An enumerative synthesizer for recovering Excel formulas from CSVs.
Manufactoria_Solutions
http://pleasingfungus.com/Manufactoria/
prometheus
A docker-compose stack for Prometheus monitoring
python-u2flib-host
Python based U2F host library
S16_TA_CS131
Notes & HW Solutions for CS 131 (Spring'16, UCLA)
ucla-plse-sharelatex-compose
docker-compose environment and setup scripts for PLSE group's ShareLatex server
W15_CS237A
CS 237A Assignments (Winter '15)