Our Github repository is at

Searchable Signal is a version of OpenWhisper System’s Signal messaging app that supports secure message search through the Clusion library.

Clusion is a Java library that provides modular implementations of state-of-the-art encrypted search algorithms. It includes constructions that handle single, disjunctive, conjunctive and boolean keyword search. Clusion is available open source under GPLv.3.

Metacrypt is a system for private contact chaining. Our motivation was to design a system that could support limited and court-approved NSA queries on telephone metadata without compromising the privacy of users.