walkie/DotFiles walkie/DotFiles

  • Stars
    star
    1
  • Language
    Perl
  • Created almost 11 years ago
  • Updated 8 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
walkie/DotFiles
github

walkie

Reviews

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

Repository Details

My configuration files.

More Repositories

1

Hagl

A Haskell DSEL for experimental game theory.
Haskell
32
star
2

academic-webpage

My old academic web page.
Haskell
7
star
3

Hagl-JFP

A Haskell DSEL for experimental game theory - version corresponding to our 2009 JFP paper.
Haskell
3
star
4

CC-GTTSE

Choice calculus library for the 2011 GTTSE Summer School.
Haskell
2
star
5

CC-TaglessFinal

A simple tagless final variation language.
Haskell
2
star
6

GameTheory-Idris

A behavioral game theory library in Idris.
Idris
2
star
7

tit-for-tat

A game theory toolbox in Rust.
Rust
2
star
8

CPP-Parser

A tool for parsing and analyzing C Preprocessor annotated text.
Haskell
2
star
9

icfp2014

University of Marburg - ICFP Programming Contest 2014
Scala
2
star
10

modular-pcf

Simply typed PCF with an ML-style module system.
Haskell
2
star
11

twelf-vim

Basic vim plugin for Twelf.
Vim Script
1
star
12

CC-Syntactic

Haskell
1
star
13

CC-Minimal

Haskell
1
star
14

CSP-Solver

A small and simple CSP solver in Haskell.
Haskell
1
star
15

NeuronDiagram

Causal inference on a generalized form of David Lewis's neuron diagrams. Also includes tools for drawing neuron diagrams via GraphViz.
Haskell
1
star
16

Hagl-WCDSL

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

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
1
star
18

Haskell-OO

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