Pinned Loading

1. plclub/hs-to-coq plclub/hs-to-coq Public

   Convert Haskell source code to Coq source code.

   Coq 88 10

2. scala-forklift scala-forklift Public

   Type-safe data migration tool for Slick, Git and beyond.

   Scala 189 32

3. QuickChick/QuickChick QuickChick/QuickChick Public

   Randomized Property-Based Testing Plugin for Coq

   Rocq Prover 273 50

4. Tricks-Museum Tricks-Museum Public

   a collection for interesting code tricks

   C 24 4

5. DTScala DTScala Public

   Dependent Types in Scala

   Scala 6 2

6. HaskellTheoremProver HaskellTheoremProver Public

   A theorem proving framework for intuitionistic and classical propositional logics in Haskell.

   Haskell 9