atzedijkstra Goto Github PK

blog-server

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

chr

Constraint Handling Rules

clike

Tools for lexing and parsing C like languages

compute-grades

Library for computing grades

delimiter-separated

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

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

haskell-heap-serialization

haskell-jscript-libraries

Javascript Libraries for Haskell compilers supporting Javascript code generation

javascript-runtime-for-uhc

Source code accompanying a blog entry on UHC's Javascript backend

logict-state

Library for logic programming based on haskell package logict

macosx-make-standalone

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

modular-haskell-gui

ruler-proto

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

ruler-uhc-examples

Ruler UHC examples (not in use, but worthwhile to archive)

softwareproject

ssm

Simple Stack Machine interpreter

uhc-doc

UHC documentation (split off from UHC repo)

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