dmwit Goto Github PK

ice-melt

icfp12-paper-links

List of Accepted Papers to ICFP 2012, with Papers (preprints) linked

jedit-elastic-tabstops

jedit plugin for editing files with elastic tapstops

jitterbug

a visual metronome to train keeping a steady beat

kwency

a small but powerful DSL for describing timers

lambdabot

A friendly IRC bot and apprentice coder, written in Haskell.

libmpd-haskell

A client library for MPD, the Music Player Daemon

limph

lightweight monadic programming for Haskell

logfloat

Log-domain floating point numbers

luxafor-python

Python Script Interface For Luxafor

maryodel

A pure-Haskell model of Dr. Mario, NES edition

mcmario

Track games of Dr. Mario, and suggest handicaps for future games

mcts-presentation

ninetynine

Our club's solutions to the 99 scala problems found here: http://aperiodic.net/phil/scala/s-99/

nostramario

Computer vision for Dr. Mario

numinstances

Instances of numeric classes for functions and tuples

nurse-sveta

Dr. Mario prescribes the pills, but Nurse Sveta administers them

obfuscation

Implementation of cryptographic program obfuscation

official

official PhD progress reports and documents

ordered-containers

Set- and Map-like types that remember the order elements were inserted

physics

Some simple sample Hipmunk code

pi-eta-epsilon

An interpreter for the language described in "The Two Dualities of Computation: Negative and Fractional Types"

polynomial

Haskell library for manipulating and evaluating polynomials

pulp

pulp: process your LaTeX log file with pulp and make a better paper

radare2-regressions

Regression Tests for the Radare2 Reverse Engineer's Debugger

reducers

Semigroups, specialized containers and a general map/reduce framework

relation

Data.Relation <-- Translated from Data.Relacion

remon

revnes

A reverse engineering tool for NES games

sbv

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.