Pinned Repositories
docker_alpine-base
A tiny multiarch Alpine Linux Docker image with an init system, a modular entrypoint, and automatic privilege lowering.
services
Compositus
A fast, highly efficient plagiarism detection tool.
jekyll_smilify
A Liquid filter to transform text emoticons to smiley images.
LoopInvGen
Generates loop invariants for program verification
prismjs-bibtex
A language definition for BibTeX in the PrismJS syntax highlighting framework.
pseudocode.js
Beautiful pseudocode for the Web
purity-jekyll-theme
Meet Purity - a clean, blazing-fast, highly configurable theme for Jekyll.
saswatpadhi.github.io
Code for my personal webpage.
SaswatPadhi's Repositories
SaswatPadhi/pseudocode.js
Beautiful pseudocode for the Web
SaswatPadhi/LoopInvGen
Generates loop invariants for program verification
SaswatPadhi/purity-jekyll-theme
Meet Purity - a clean, blazing-fast, highly configurable theme for Jekyll.
SaswatPadhi/FlashProfileDemo
SaswatPadhi/prismjs-bibtex
A language definition for BibTeX in the PrismJS syntax highlighting framework.
SaswatPadhi/saswatpadhi.github.io
Code for my personal webpage.
SaswatPadhi/ExcelSynth
An enumerative synthesizer for recovering Excel formulas from CSVs.
SaswatPadhi/ocaml-logicalform
SaswatPadhi/2019_CAV_Artifact_100
SaswatPadhi/_configs_
config files, dot-files, blablabla ...
SaswatPadhi/cbmc-chc
SaswatPadhi/cluster
A simple cluster library implemented in Go
SaswatPadhi/gitea
Git with a cup of tea, painless self-hosted git service
SaswatPadhi/LIG-CHC
SaswatPadhi/Manufactoria_Solutions
http://pleasingfungus.com/Manufactoria/
SaswatPadhi/nyx
Command-line monitor for Tor.
SaswatPadhi/PIE
(Original set of) Precondition inference and verification tasks used for evaluating PIE and LoopInvGen
SaswatPadhi/Polyglot
SaswatPadhi/portfolio-chc-solver
SaswatPadhi/prometheus
A docker-compose stack for Prometheus monitoring
SaswatPadhi/python-u2flib-host
Python based U2F host library
SaswatPadhi/raft
SaswatPadhi/S15_CS264A
SaswatPadhi/S16_CS289A
SaswatPadhi/S16_TA_CS131
Notes & HW Solutions for CS 131 (Spring'16, UCLA)
SaswatPadhi/skvstore
Simple Key-Value Store, implemented in Go.
SaswatPadhi/ucla-plse-sharelatex-compose
docker-compose environment and setup scripts for PLSE group's ShareLatex server
SaswatPadhi/W15_CS237A
CS 237A Assignments (Winter '15)
SaswatPadhi/W15_CS239
CS 239 Project (Winter '15)
SaswatPadhi/W16_CS281
CS 281 Lecture Notes & Exams