derivation.org

This site is loosely centered around Proof Theory. So far it only hosts the personal websites of some researchers in logic: