Block or report user

Popular repositories

  1. Dung

    An implementation of Dung's argumentation frameworks

    2 Haskell

  2. DungICCMA

    An ICCMA-compliant command line application for the Dung library

    1 Haskell

  3. CarneadesDSL

    An implementation and DSL for the Carneades argumentation model.

    0 Haskell

  4. CarneadesIntoDung

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

    0 Haskell

  5. FPlab_poster

    Poster for the Functional Programming Lab

    0 TeX

  6. MGS14

    Forked from pigworker/MGS14

    being the lecture code and exercises for Dependently Typed Programming at Midlands Graduate School 2014, in Nottingham

    0 Agda

4 contributions in the last year

Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Mon Wed Fri

Contribution activity First issue Joined GitHub

May - October 2016

nebasuke has no activity yet for this period.

April 2016

Created 2 commits in 1 repository

nebasuke/thesis-pdf 2 commits

Created 1 repository

Seeing something unexpected? Take a look at the GitHub profile guide.