walkie/markdown.sty
Adds a Markdown environment to LaTeX.
Developer Profile
walkie
Discovered public repositories for walkie in the GitHub catalog.
walkie/IdrisDemo
A brief example-based introduction to Idris.
walkie/idris-vim
Idris mode for vim
walkie/DotFiles
My configuration files.
walkie/CC-Minimal
Public repository.
walkie/CC-Idris
Public repository.
walkie/GameTheory-Idris
A behavioral game theory library in Idris.
walkie/Idris-dev
A Dependently Typed Functional Programming Language
walkie/CC-Syntactic
Public repository.
walkie/academic-webpage
My old academic web page.
walkie/Hagl
A Haskell DSEL for experimental game theory.
walkie/CPP-Parser
A tool for parsing and analyzing C Preprocessor annotated text.
walkie/CC-Coq
Coq proofs of some simple choice calculus-related theorems.
walkie/Hagl-WCDSL
A Haskell DSEL for experimental game theory - version corresponding to our paper at IFIP Working Conf. on Domain-Specific Languages 2009.
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/CSP-Solver
A small and simple CSP solver in Haskell.
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/CC-GTTSE
Choice calculus library for the 2011 GTTSE Summer School.
walkie/NeuronDiagram
Causal inference on a generalized form of David Lewis's neuron diagrams. Also includes tools for drawing neuron diagrams via GraphViz.
walkie/Hagl-JFP
A Haskell DSEL for experimental game theory - version corresponding to our 2009 JFP paper.
walkie/CC-TaglessFinal
A simple tagless final variation language.