Discover walkie/Hagl-WCDSL Open Source project

Stars
1
Language
Haskell
Created over 12 years ago
Updated almost 11 years ago

walkie

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

A Haskell DSEL for experimental game theory - version corresponding to our paper at IFIP Working Conf. on Domain-Specific Languages 2009.

Hagl

A Haskell DSEL for experimental game theory.

Haskell

academic-webpage

My old academic web page.

Haskell

Hagl-JFP

A Haskell DSEL for experimental game theory - version corresponding to our 2009 JFP paper.

Haskell

CC-GTTSE

Choice calculus library for the 2011 GTTSE Summer School.

Haskell

CC-TaglessFinal

A simple tagless final variation language.

Haskell

GameTheory-Idris

A behavioral game theory library in Idris.

Idris

tit-for-tat

A game theory toolbox in Rust.

Rust

CPP-Parser

A tool for parsing and analyzing C Preprocessor annotated text.

Haskell

icfp2014

University of Marburg - ICFP Programming Contest 2014

Scala

modular-pcf

Simply typed PCF with an ML-style module system.

Haskell

DotFiles

My configuration files.

Perl

twelf-vim

Basic vim plugin for Twelf.

Vim Script

CC-Syntactic

Haskell

CC-Minimal

Haskell

CSP-Solver

A small and simple CSP solver in Haskell.

Haskell

NeuronDiagram

Causal inference on a generalized form of David Lewis's neuron diagrams. Also includes tools for drawing neuron diagrams via GraphViz.

Haskell

CC-Generic

A choice calculus library making heavy use of Scrap Your Boilerplate. This is more generic than CC-GTTSE, but also more difficult to use.

Haskell

Haskell-OO

Data type and type class implementations of object-oriented integer sets, based on William Cook's essay "On Understanding Data Abstraction, Revisted"

Haskell

walkie/Hagl-WCDSL

walkie

Reviews

Repository Details

More Repositories