Discover @walkie Open Source projects

Eric Walkingshaw (@walkie)

walkie

Stars
65
Global Rank 283,689 (Top 10 %)
Followers 93
Following 35
Registered about 13 years ago
Most used languages

Haskell
73.7 %

Perl
5.3 %

Rust
5.3 %

Vim Script
5.3 %

Idris 5.3 %

Scala
5.3 %
Location 🇺🇸 United States
Country Total Rank 58,918
Country Ranking

Idris 51

Haskell
343

Scala
2,591

Perl
4,304

Vim Script
5,439

Rust
8,068

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 2014

modular-pcf

Simply typed PCF with an ML-style module system.

DotFiles

My configuration files.

twelf-vim

Basic vim plugin for Twelf.

CC-Syntactic

CC-Minimal

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"