Welcome to Keeda!

keeda (Hindi::bug (n), insect (n)) is a server that belongs to Dawson Engler's meta-compilation group.

keeda is currently maintained by Philip Guo, among others.

It hosts our research group wiki.