Projects
-
PLP, a theorem prover (written in Haskell) for Propositional Logic implementing the Davis-Putnam-Logemann-Loveland Algorithm.
-
FTSS (Full-Text-Search System), a package that provides a full text database of a file system that is always up to date. This package contains the Fsysmon kernel module (see below). A statically linked version (i386) of the daemon can be foundhere.
-
FsysMon, a kernel module that monitors all file system alterations. (now working with Kernel 2.6.10)
-
JTomata, a Java / Haskell program for working with finite automata.
-
ALI, an AL (Assignment Language) Interpreter written in Haskell.
Last update: "Aug 3 2005".
