Popular repositories Loading

1. cyp cyp Public

   Checker for "morally correct" induction proofs about haskell programs

   Haskell 31 10

2. isabelle-patsubst isabelle-patsubst Public archive

   Implementation of a pattern-based substitution method for Isabelle

   Standard ML 1 1

3. pratt pratt Public

   A formalization of Pratt's Prime Number Certificates in Isabelle

   Isabelle 1

4. Smack Smack Public

   Forked from igniterealtime/Smack

   An Open Source XMPP (Jabber) client library

   Java

5. tasty tasty Public

   Forked from UnkindPartition/tasty

   Modern and extensible testing framework for Haskell

   Haskell

6. tasty-html tasty-html Public

   Forked from UnkindPartition/tasty-html

   HTML test reporter for the Tasty test framework

   Haskell