Software projects

current projects

•     Ontohub: a repository engine for managing distributed heterogeneous ontologies (in Ruby on Rails) - sources
•     DO-ROAM - Activity-Oriented Search and Navigation (in Ruby on Rails) - sources
•     Heterogeneous tool set (Hets)  (in Haskell) - sources
•     Communtu (in Ruby on Rails) - sources

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)