Beast code in Giters

Bas van Gijzel's repositories

An implementation of Dung's argumentation frameworks

Language:HaskellBSD-3-Clause500

An implementation and DSL for the Carneades argumentation model.

Language:HaskellNOASSERTION200

An ICCMA-compliant command line application for the Dung library

Language:HaskellBSD-3-Clause100

Haskell test for IOHK

Language:Haskell100

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

Language:HaskellBSD-3-Clause020

Poster for the Functional Programming Lab

Language:TeX000

source and examples to Functional Programming for Mortals with Cats

Language:ScalaCC-BY-SA-4.0000

Solution to a coding exercise requiring to compute a series

Language:HaskellBSD-3-Clause000

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

Language:AgdaBSD-3-Clause000

Language:Scala010

Entry level Couchbase Scala tutorial/demo. Steps to build REST APIs to manage user profile CRUD operations.

NOASSERTION000

A Gradle plugin adding basic functions to support Scala.js

Language:Groovy000

Microbenchmarking and performance regression testing framework for the JVM platform.

Language:ScalaNOASSERTION000

Declarative, type-safe web endpoints library

Apache-2.0000

NOASSERTION000