TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Download apks from Google Play Store

A p2p, secure file storage, social network and application protocol

Multiple samples showing the best practices in connectivity on Android.

DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not w…

A client- and server-side templating system that helps you dynamically build reusable HTML and UI elements

Track data flowing through Java programs

Ableton Link integration for Pure Data on desktop and Android.

Chat for Android with gif generation and more...

Blackfin CPU support for ghidra