Saswat Padhi

pseudocode.js. Beautiful pseudocode for the Web

LoopInvGen. Generates loop invariants for program verification

jekyll_smilify. A Liquid filter to transform text emoticons to smiley images.

purity-jekyll-theme. Meet Purity - a clean, blazing-fast, highly configurable theme for Jekyll.

Compositus. A fast, highly efficient plagiarism detection tool.

FlashProfileDemo. C#

saswatpadhi.github.io. Code for my personal webpage.

libway2sms. A PHP function to send SMS to any Indian mobile number by cURLing Way2SMS

prismjs-bibtex. A language definition for BibTeX in the PrismJS syntax highlighting framework.

ocaml-logicalform. OCaml

ExcelSynth. An enumerative synthesizer for recovering Excel formulas from CSVs.