Beat Back the Horde is a rhythm-time strategy game for Android 2.2 and up, focusing on fast-paced placing of units while tapping to the beat! Build up combos to spawn Über Units! It is playable in single-player mode, or in multi-player mode over Bluetooth, and can be learned in a minute and played for hours. It includes many achievements to unlock, five songs to master, adjustable difficulty single-player AI, and particle effects.
Platform Independent Petri Net Editor (PIPE) creates and analyses Petri Nets quickly, efficiently, and effectively. A key design feature is the modular approach adopted for analysis, enabling new modules to be written easily and powerfully, using built-in data layer methods for standard calculations. Six analysis modules are provided, including Invariant Analysis, State-Space Analysis (deadlock, etc.), and Simulation Analysis and Classification. PIPE adheres to the XML Petri net standard (PNML). The file format for saving and loading Petri Nets is extensible through the use of XSLT, the default being PNML.
LFT (Layer Four Traceroute) is a sort of "traceroute" that often works much faster than the commonly-used Van Jacobson method and goes through many configurations of packet-filter based firewalls. More importantly, LFT implements numerous other features, including TCP, UDP, or ICMP-based traces, AS number lookups through several reliable sources, loose source routing, netblock name lookups, and more. LFT also distinguishes between layer-4 protocols, which make its statistics slightly more realistic, and gives a savvy user the ability to trace protocol routes, not just layer-3 hops.
Loanr is a simple loan calculator. It's been tested on primary BlackBerry devices and Symbian devices. It's handy to have when looking to purchase a car from a dealer with their frequent jumping back-and-forth from total payments to monthly payments, but also works for other types of loans and less low-pressure situations. The file is unsigned, and may illicit a warning on your device when you try and download it.
nmdb is a network database (dbm-style) that can use multiple protocols to communicate with its clients. TIPC, TCP, UDP, and SCTP are currently supported. It consists of an in-memory cache that saves (key, value) pairs, and a persistent backend that stores the pairs on disk. Both work in combination, but the use of the backend is optional, so you can use the server only for cache queries, pretty much like memcached.
LettersFall 2 is a word game that combines Tetris and Scrabble. It is a fun yet educational game for both children and adults. It downloads and installs in seconds. It features full color, high resolution visual graphics, digital sound effects, a digitally orchestrated music soundtrack, easy-to-play mouse controls, an American English dictionary with over 20,000 words, a saved high scores table, and saved game preferences.
Daikon is an implementation of dynamic detection of likely invariants. An invariant is a property (such as "x=2*y+5" or "this.next.prev = this" or "myarray is sorted by <") that holds at a certain point or points in a program. Invariants are often seen in assert statements, documentation, and formal specifications. Invariants can be useful in program understanding and a host of other applications. Daikon runs a program, observes the values that the program computes, and then reports properties that were true over the observed executions. It can detect properties in Java, C, C++, Perl, and IOA programs, in spreadsheet files, and in other data sources.