Pinned Loading

1. vprover/vampire vprover/vampire Public

   The Vampire Theorem Prover

   C++ 297 52

2. scala-workflow scala-workflow Public

   Boilerplate-free syntax for computations with effects

   Scala 176 16

3. awesome-self-reference awesome-self-reference Public

   A curated list of examples of self-reference in art, science, and technology

   263 8

4. turing-complete-iceberg turing-complete-iceberg Public

   The "X is Turing-complete" Iceberg

   HTML 1

5. atp atp Public

   Haskell interface to automated theorem provers

   Haskell 8

6. tptp tptp Public

   Parser and pretty printer for the TPTP language

   Haskell 7 2