There are no reviews yet. Be the first to send feedback to the community and the maintainers!
Hagl
A Haskell DSEL for experimental game theory.academic-webpage
My old academic web page.Hagl-JFP
A Haskell DSEL for experimental game theory - version corresponding to our 2009 JFP paper.CC-GTTSE
Choice calculus library for the 2011 GTTSE Summer School.CC-TaglessFinal
A simple tagless final variation language.GameTheory-Idris
A behavioral game theory library in Idris.tit-for-tat
A game theory toolbox in Rust.CPP-Parser
A tool for parsing and analyzing C Preprocessor annotated text.icfp2014
University of Marburg - ICFP Programming Contest 2014modular-pcf
Simply typed PCF with an ML-style module system.DotFiles
My configuration files.twelf-vim
Basic vim plugin for Twelf.CC-Syntactic
CSP-Solver
A small and simple CSP solver in Haskell.NeuronDiagram
Causal inference on a generalized form of David Lewis's neuron diagrams. Also includes tools for drawing neuron diagrams via GraphViz.Hagl-WCDSL
A Haskell DSEL for experimental game theory - version corresponding to our paper at IFIP Working Conf. on Domain-Specific Languages 2009.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-OO
Data type and type class implementations of object-oriented integer sets, based on William Cook's essay "On Understanding Data Abstraction, Revisted"Love Open Source and this site? Check out how you can help us