Popular repositories Loading

1. example-refactorings example-refactorings Public

   Java 1 1

2. agda2hs agda2hs Public

   Forked from agda/agda2hs

   Compiling Agda code to readable Haskell

   Agda 1

3. sttp-book sttp-book Public

   Forked from sf105/sttp-book

   The "Software Testing: From Theory to Practice" book (source)

   Shell

4. quantumInspire quantumInspire Public

   C++

5. research-project research-project Public

   Forked from flupe/verification-template

   Agda

6. test2 test2 Public