Popular repositories Loading

1. QED4TSO QED4TSO Public

   static proof method for verifying programs running on tso

   Java

2. WorkStealingQueueCAV2015 WorkStealingQueueCAV2015 Public

   TeX

3. frap frap Public

   Forked from achlipala/frap

   Formal Reasoning About Programs

   Coq

4. OpenLogic OpenLogic Public

   Forked from OpenLogicProject/OpenLogic

   An open-source, customizable intermediate logic textbook

   TeX

5. Idris-dev Idris-dev Public

   Forked from idris-lang/Idris-dev

   A Dependently Typed Functional Programming Language

   Haskell

6. BSTDelete BSTDelete Public

   C++