Here is search logs of 650,000 AOL users. It's very interesting to view search history of particular person and analyze his personality. Let's do it together! Read more about AOL search database scandal or view research papers on web searching.
jape
Jape is a configurable, graphical proof assistant. It allows user to efine a logic, decide how to view proofs, and much more. It works with variants of the sequent calculus and natural deduction.