Atze Dijkstra

chr. Constraint Handling Rules

javascript-runtime-for-UHC. Source code accompanying a blog entry on UHC's Javascript backend

macosx-make-standalone. Modify a MacOSX app bundle to include non standard .dylibs, so it can be run without development environment

logict-state. Library for logic programming based on haskell package logict

ssm. Simple Stack Machine interpreter

haskell-jscript-libraries. Javascript Libraries for Haskell compilers supporting Javascript code generation

delimiter-separated. Haskell library for dealing with tab and/or comma (or other) separated files

blog-server. A playfield and demo (blog) for use of the snap framework

clike. Tools for lexing and parsing C like languages

uhc-util-chr. CHR rule compiler and solver based on CHR solver available in package uhc-util

ruler-proto. A rather old prototype of the ruler system, some old examples from uhc still depend on it

uhc-obsolete. UHC parts which are obsolete/unused

graph-visit. A small library for walking over a graph, abstracting away from the concrete graph representation

factorial-server. Small demos (factorial) for use of the snap framework