SaswatPadhi

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.

FlashProfileDemo

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.

ocaml-logicalform

2019_CAV_Artifact_100

_configs_

config files, dot-files, blablabla ...

cbmc-chc

cluster

A simple cluster library implemented in Go

gitea

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

LIG-CHC

Manufactoria_Solutions

http://pleasingfungus.com/Manufactoria/

nyx

Command-line monitor for Tor.

PIE

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

Polyglot

portfolio-chc-solver

prometheus

A docker-compose stack for Prometheus monitoring

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)

skvstore

Simple Key-Value Store, implemented in Go.

ucla-plse-sharelatex-compose

docker-compose environment and setup scripts for PLSE group's ShareLatex server

W15_CS237A

CS 237A Assignments (Winter '15)

W15_CS239

CS 239 Project (Winter '15)

W16_CS281

CS 281 Lecture Notes & Exams