Pinned Repositories
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
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
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
ssm
Simple Stack Machine interpreter
atzedijkstra's Repositories
atzedijkstra/chr
Constraint Handling Rules
atzedijkstra/javascript-runtime-for-UHC
Source code accompanying a blog entry on UHC's Javascript backend
atzedijkstra/macosx-make-standalone
Modify a MacOSX app bundle to include non standard .dylibs, so it can be run without development environment
atzedijkstra/logict-state
Library for logic programming based on haskell package logict
atzedijkstra/ssm
Simple Stack Machine interpreter
atzedijkstra/haskell-jscript-libraries
Javascript Libraries for Haskell compilers supporting Javascript code generation
atzedijkstra/delimiter-separated
Haskell library for dealing with tab and/or comma (or other) separated files
atzedijkstra/blog-server
A playfield and demo (blog) for use of the snap framework
atzedijkstra/clike
Tools for lexing and parsing C like languages
atzedijkstra/factorial-server
Small demos (factorial) for use of the snap framework
atzedijkstra/graph-visit
A small library for walking over a graph, abstracting away from the concrete graph representation
atzedijkstra/ruler-proto
A rather old prototype of the ruler system, some old examples from uhc still depend on it
atzedijkstra/uhc-obsolete
UHC parts which are obsolete/unused
atzedijkstra/uhc-util-chr
CHR rule compiler and solver based on CHR solver available in package uhc-util
atzedijkstra/compute-grades
Library for computing grades
atzedijkstra/Haskell-Heap-Serialization
atzedijkstra/Modular-Haskell-GUI
atzedijkstra/ruler-uhc-examples
Ruler UHC examples (not in use, but worthwhile to archive)
atzedijkstra/SoftwareProject
atzedijkstra/uhc-doc
UHC documentation (split off from UHC repo)