akaydesai

akaydesai.github.io

congruence-closure

Verification of the congruence closure algorithm in Coq using dependent types.

so-simple-theme

A simple Jekyll theme for words and pictures.

PDR-LIA

Implementation of Property Directed Reachability for linear integer arithmetic; based on "Efficient Implementation of Property Directed Reachability" by Niklas Een, Alan Mishchenko, Robert Brayton

mcsv-LTL

Simple bounded model checker for LTL(Linear Temporal Logic). (as part of Model Checking and Software Verification coursework.).

mcsv-CTL

Simple CTL(Computational Tree Logic) model checker(as part of Model Checking and Software Verification coursework.).

kludgeCMS

A(almost complete) rudimentary CMS comissioned for NSS Cell of Goa University.

kscreen

KDE's screen management software

undistract-me

Notifies you when long-running terminal commands complete