saswatpadhi Goto Github PK

2019_cav_artifact_100

brix

HTML5 Brick Game

cbmc-chc

cluster

A simple cluster library implemented in Go

compositus

A fast, highly efficient plagiarism detection tool.

excelsynth

An enumerative synthesizer for recovering Excel formulas from CSVs.

flashprofiledemo

getsongspk

Set of PHP functions to download and search music on SongsPK.

gitea

Git with a cup of tea, painless self-hosted git service

ixdata

Web interface for XData SQL query verification tool.

jekyll_smilify

A Liquid filter to transform text emoticons to smiley images.

libway2sms

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

lig-chc

loopinvgen

Generates loop invariants for program verification

manufactoria_solutions

http://pleasingfungus.com/Manufactoria/

nyx

Command-line monitor for Tor.

ocaml-logicalform

pie

(Original set of) Precondition inference and verification tasks used for evaluating PIE and LoopInvGen

polyglot

portfolio-chc-solver

prismjs-bibtex

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

prometheus

A docker-compose stack for Prometheus monitoring

pseudocode.js

Beautiful pseudocode for the Web

purity-jekyll-theme

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

python-u2flib-host

Python based U2F host library

raft

s15_cs264a

s16_cs289a

s16_ta_cs131

Notes & HW Solutions for CS 131 (Spring'16, UCLA)

saswatpadhi.github.io

Code for my personal webpage.