walkie/twelf-vim

Stars
1
Language
Vim Script
Created almost 10 years ago
Updated almost 10 years ago

walkie/twelf-vim

walkie

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

Basic vim plugin for Twelf.

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.

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"