Propositional SATisfiability

Prolog Termination

Fragmentary Textual Search

Molad Seeker

Digital Humanities

Calendar Software

Software Repository

Rewriting Applets
Combinatorial Objects

Discrete Math Applets

Patents

Projects

Archaide
Scripta Qumranica Electronica

Friedberg Genizah Project

Responsa Project (winner of Israel Prize)

Corpora

Software Errors

Hebrew Corpora

Demos

Counter Machine