Popular repositories Loading

1. PDR-LIA PDR-LIA Public

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

   Python 2

2. mcsv-LTL mcsv-LTL Public

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

   Python 1

3. congruence-closure congruence-closure Public

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

   Coq 1

4. kscreen kscreen Public

   Forked from KDE/kscreen

   KDE's screen management software

   C++

5. undistract-me undistract-me Public

   Forked from jml/undistract-me

   Notifies you when long-running terminal commands complete

   Shell

6. kludgeCMS kludgeCMS Public

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

   PHP