Discover walkie/Haskell-OO Open Source project

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

walkie

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

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

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

Hagl-WCDSL

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

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

walkie/Haskell-OO

walkie

Reviews

Repository Details

More Repositories