Advertisement
Flipper
Flipper is a program that does randomised local search for satisfiability of 3 variable prenex sentences....
searching local predicate calculus scientific application prenex sentences
Flickr Flipper
Flickr Flipper is an application that allows you to search for Flickr photos and search for photos from specific Flickr users....
URL Flipper
Offers shortcut keys to increment and decrement numbers and strings in URLs...
URL Flipper for Firefox
Offers shortcut keys to increment and decrement numbers and strings in URLs...