Atze Dijkstra's repositories
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
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
factorial-server
Small demos (factorial) for use of the snap framework
graph-visit
A small library for walking over a graph, abstracting away from the concrete graph representation
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
uhc-util-chr
CHR rule compiler and solver based on CHR solver available in package uhc-util
compute-grades
Library for computing grades
ruler-uhc-examples
Ruler UHC examples (not in use, but worthwhile to archive)