A post-modern modal text editor.

Transportation planning and traffic simulation software for creating cities friendlier to walking, biking, and public transit

Home to the Signal Protocol as well as other cryptographic primitives which make Signal possible.

Research prototype tool for modular formal verification of C and Java programs