Armatus is a project of the Functional Programming Group at the University of Kansas. Armatus aims to bring the HERMIT project to Android devices (specifically, tablet interfaces). The full project description can be read here.
The HERMIT project allows for high-assurance Haskell development in a command-line setting. Armatus aims to bring a graphical interface to HERMIT using the Android operating system. Instead of porting HERMIT to Android—a very daunting task, as that would require making Haskell work on the Dalvik virtual machine—Armatus grants users HERMIT functionality by communicating with a remote server that runs HERMIT.
The Armatus Android app enhances HERMIT through graphical shortcuts such as draggable command icons, an interactive command history menu, context-aware entry selection, rearrangment of words in an entry, and finger gestures. For more information, visit the features (TODO) page on the wiki.
The Armatus app was designed to work on the Nexus 7, but in theory, it should run on any Android 4.1 (Jelly Bean) device. Armatus can also be used to launch the Android Terminal Emulator (download), but this is optional and not an integral part of Armatus.
TODO: fill in details
—Droid Sans Mono (w/ dotted zero) copyright Ascender Corp. under the Apache License, modified by cosmix.org
—Guava by Google under the Apache License 2.0
—AsyncActivityTask, a modification of CustomAsyncTask by Ryan "callorico" Kaneshiro.
—SlidingMenu by Jeremy "jfeinstein10" Feinstein under the Apache License 2.0
—tree-view-list-android by Jarek Potiuk under the New BSD License
—android-numberpicker (a backport of NumberPicker class from th Android 4.2 API) by Simon Vig "SimonVT" Therkildsen under the Apache License 2.0
—radial-menu-widget by Jason "valestin" Valestin under the New BSD License
—textdrawable by Dave "devunwired" Smith under the MIT License
—aFileChooser by Paul "iPaulPro" Burke under the Apache License 2.0
—Android Terminal Emulator by Jack "jackpal" Palevich under the Apache Licence 2.0