~badt/kripke

A secure, distributed computing environment

~badt/kripke-devel

Mailing list for development discussion and patches related to the kripke project. For help sending patches to this list, please consult git-send-email.io.

~badt/kripke-announce

Low-volume mailing list for announcements related to the kripke project.