walkie Goto Github PK

academic-webpage

My old academic web page.

bevy

A refreshingly simple data-driven game engine built in Rust

cc-coq

Coq proofs of some simple choice calculus-related theorems.

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.

cc-gttse

Choice calculus library for the 2011 GTTSE Summer School.

cc-idris

cc-minimal

cc-syntactic

cc-taglessfinal

A simple tagless final variation language.

cpp-parser

A tool for parsing and analyzing C Preprocessor annotated text.

csp-solver

A small and simple CSP solver in Haskell.

dotfiles

My configuration files.

file-tree-alternative

This Obsidian Plugin allows users to have a different file explorer experience.

frame_transpiler

Frame is a markdown language for creating state machines (automata) in 7 programming languages as well as generating UML documentation.

gametheory-idris

A behavioral game theory library in Idris.

hagl

A Haskell DSEL for experimental game theory.

hagl-jfp

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

hagl-wcdsl

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

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-vim

Custom Haskell Vimscripts

haskell-z3

Haskell bindings to Microsoft's Z3 API (unofficial).

icfp2014

University of Marburg - ICFP Programming Contest 2014

idris-dev

A Dependently Typed Functional Programming Language

idris-vim

Idris mode for vim

idrisdemo

A brief example-based introduction to Idris.

llvm-hs

Haskell bindings for LLVM

markdown.sty

Adds a Markdown environment to LaTeX.

modular-pcf

Simply typed PCF with an ML-style module system.

neurondiagram

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

popl2018-papers

Link to preprints for POPL'18 and colocated events