Software projects

current projects

•     Heterogeneous tool set (Hets)  (in Haskell)

former projects

•     The development graph manager MAYA   (in Lisp and ML)
•     HOL-CASL  - theorem proving for CASL (in ML)
•     CASL tool set   (CATS) (in ML)

former projects (during school or student time)

•     Miranda compiler (in Miranda)
•     Prolog interpreter (in Prolog)
•     Lisp interpreter (in C)
•     Symbolic differentiation (in Pascal)
•     Porting UCSD Pascal to C64 (in 6502 assembly language)