Starred repositories
7
stars
written in Java
Clear filter
A library for debugging android databases and shared preferences - Make Debugging Great Again
Android view for displaying PDFs rendered with PdfiumAndroid
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Tool for control android device from PC keyboard