Pinned Repositories
academic-webpage
My old academic web page.
CC-GTTSE
Choice calculus library for the 2011 GTTSE Summer School.
CC-TaglessFinal
A simple tagless final variation language.
Hagl
A Haskell DSEL for experimental game theory.
Hagl-JFP
A Haskell DSEL for experimental game theory - version corresponding to our 2009 JFP paper.
modular-pcf
Simply typed PCF with an ML-style module system.
Resource-DSL
Resource DSL for the Immortals project.
tit-for-tat
A game theory toolbox in Rust.
walkie's Repositories
walkie/CC-GTTSE
Choice calculus library for the 2011 GTTSE Summer School.
walkie/CC-TaglessFinal
A simple tagless final variation language.
walkie/CPP-Parser
A tool for parsing and analyzing C Preprocessor annotated text.
walkie/NeuronDiagram
Causal inference on a generalized form of David Lewis's neuron diagrams. Also includes tools for drawing neuron diagrams via GraphViz.
walkie/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.
walkie/CSP-Solver
A small and simple CSP solver in Haskell.
walkie/Haskell-OO
Data type and type class implementations of object-oriented integer sets, based on William Cook's essay "On Understanding Data Abstraction, Revisted"
walkie/CC-Coq
Coq proofs of some simple choice calculus-related theorems.
walkie/CC-Idris