Mike Dodds's repositories
starling-tool
An automatic verifier for concurrent algorithms.
stellite-tool
A tool for verifying C/C++ program transformations. Based on Alloy.
android-search-and-stories
DuckDuckGo Search & Stories for Android
Language:JavaNOASSERTION000
Language:PythonBSD-3-Clause000
cerberus-mdd
Cerberus C semantics
Language:OCamlNOASSERTION000
Language:C000
connectbot
ConnectBot is the first SSH client for Android.
Language:JavaApache-2.0000
Language:AlloyMIT000
facc-workshop
A Bootstrap 4 start up project for Github Pages and Jekyll
Language:CSS000
focus-android
Firefox Focus: The privacy browser - Browse like no one’s watching.
Language:JavaMPL-2.0000
k-9
K-9 Mail – Advanced Email for Android 📧
Language:JavaApache-2.0000
latex-commenting
A LaTeX package for commenting multi-author documents
000
Language:Ruby000
Language:HTML000
Simple-Calendar
A simple calendar with events, customizable widget and no ads.
Language:KotlinApache-2.0000