Popular repositoriesLoading

1. DungDungPublic

   An implementation of Dung's argumentation frameworks

   Haskell 5

2. CarneadesDSLCarneadesDSLPublic

   An implementation and DSL for the Carneades argumentation model.

   Haskell 2

3. DungICCMADungICCMAPublic

   An ICCMA-compliant command line application for the Dung library

   Haskell 1

4. iohk-testiohk-testPublic

   Haskell test for IOHK

   Haskell 1

5. CarneadesIntoDungCarneadesIntoDungPublic

   A translation from the Carneades argumentation model into Dung's argumentation frameworks

   Haskell

6. FPlab_posterFPlab_posterPublic

   Poster for the Functional Programming Lab

   TeX