Pinned Repositories
CarneadesDSL
An implementation and DSL for the Carneades argumentation model.
CarneadesIntoDung
A translation from the Carneades argumentation model into Dung's argumentation frameworks
Dung
An implementation of Dung's argumentation frameworks
DungICCMA
An ICCMA-compliant command line application for the Dung library
FPlab_poster
Poster for the Functional Programming Lab
fpmortals-cats
source and examples to Functional Programming for Mortals with Cats
Gamesys
Solution to a coding exercise requiring to compute a series
iohk-test
Haskell test for IOHK
MGS14
being the lecture code and exercises for Dependently Typed Programming at Midlands Graduate School 2014, in Nottingham
scala-playground-lambda
nebasuke's Repositories
nebasuke/Dung
An implementation of Dung's argumentation frameworks
nebasuke/CarneadesDSL
An implementation and DSL for the Carneades argumentation model.
nebasuke/DungICCMA
An ICCMA-compliant command line application for the Dung library
nebasuke/iohk-test
Haskell test for IOHK
nebasuke/CarneadesIntoDung
A translation from the Carneades argumentation model into Dung's argumentation frameworks
nebasuke/FPlab_poster
Poster for the Functional Programming Lab
nebasuke/fpmortals-cats
source and examples to Functional Programming for Mortals with Cats
nebasuke/Gamesys
Solution to a coding exercise requiring to compute a series
nebasuke/MGS14
being the lecture code and exercises for Dependently Typed Programming at Midlands Graduate School 2014, in Nottingham
nebasuke/scala-playground-lambda
nebasuke/scala-quickstart
Entry level Couchbase Scala tutorial/demo. Steps to build REST APIs to manage user profile CRUD operations.
nebasuke/scalajs-gradle
A Gradle plugin adding basic functions to support Scala.js
nebasuke/scalameter
Microbenchmarking and performance regression testing framework for the JVM platform.
nebasuke/tapir
Declarative, type-safe web endpoints library
nebasuke/thesis-pdf