Formal Dinner Etiquette
Etiquette provides an interaction protocol construction tool. Etiquette is an interaction protocol construction toolkit. The projects goal is to build a framework for rapid design of network communication code. Etiquette interaction protocols are intended to describe valid communication...
Platforms: *nix
License: Freeware | Size: 30.72 KB | Download (102): Etiquette Download |
In this game there will be a table full of food, and you will need to arrange the family members to sit at the table. Each family member will have their own preference of whether to sit close to a certain dish, or not to sit close to a certain dish, they may also like to sit close to a certain...
Platforms: Windows
License: Freeware | Size: 262.57 KB | Download (189): Thanksgiving Dinner Download |
Read this eBook and learn how following roulette etiquette will make the game more enjoyable for both you and other people involved. In this eBook you will learn about Roulette etiquette as well as the unwritten rules of Roulette. All of the sections are freely available for perusal.
The...
Platforms: Windows
License: Freeware | Size: 1.77 MB | Download (94): Following Roulette Etiquette Download |
Etiquette is an interaction protocols construction tool. Etiuqette allows to describe communication in high-level and textually condensed fashion. Built-in support for debugging and error-handling policies is provided. Etiquette is written in Common Lisp.
Platforms: Mac, BSD, Linux
License: Freeware | Size: 29.75 KB | Download (58): Etiquette - a protocol construction tool Download |
The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.
Platforms: *nix
License: Freeware | Size: 6.22 MB | Download (35): Archive of Formal Proofs Download |
Dinner Timer Lite is an easy to use timer for the kitchen PC, choose from different built in alarm sounds including Cow moo, air horn, buzzers, a chainsaw as well as many other or use your own sounds.Dinner Time Lite has a unique after burn timer, where it keeps track of how long over the set...
Platforms: Windows
License: Freeware | Size: 8.48 MB | Download (211): DinnerTimer Lite Download |
ToscanaJ is a Java reimplementation of the classic Formal Concept Analysis frontend Toscana. It was built using software development techniques like MVC architecture and XML based files to provide more flexibilty for implementation of new features. Since ToscanaJ is a pure viewer/browser for...
Platforms: *nix
License: Freeware | Size: 1.6 MB | Download (97): ToscanaJ Download |
Universal Grammar Editor is a small, simple, Java based application specially designed to offer you an editor for formal grammars.
This tool tries to be universal - customizable for any grammatical formalism and any syntax.
It also provides features such as syntax checking and highlighting,...
Platforms: Windows
License: Freeware | Download (54): Universal Grammar Editor Download |
Figuring out what to eat to dinner each night is not an easy thing to do 365 days a year. This free program will assist you by suggesting a weekly menu based on your preferences. It's very easy to use and the result is a nice looking menu that you can use for inspiration (or follow strictly if...
Platforms: Windows
License: Freeware | Size: 655 KB | Download (541): DinnerWiz Download |
Klikit-Linux is a non-formal project oriented on developing a modern, free, user-friendly and fun Linux desktop. The project uses the well known, award winning KDE environment. Klikit-Linux can run as a LIVE-CD on practically any PC (x86), and can be installed to your hard drive in just a few...
Platforms: *nix
License: Freeware | Size: 795 MB | Download (101): Klikit-Linux 0.1-5b Download |
The Community Z Tools (CZT) project is building a set of tools for editing, typechecking and animating formal specifications written in the Z specification language, with some support for Z extensions such as Object-Z, Circus, and TCOZ. These tools are all built using the CZT Java framework for Z...
Platforms: *nix
License: Freeware | Size: 5.17 MB | Download (89): Community Z Tools Download |
Virt-Factory project manages virtualized infrastructure: Virt-Factory focuses on interacting with large numbers of virtual systems and on addressing some of the interaction problems that brings with it Virt-Factory is primarily aimed at a fairly formal setting (data center), though we hope it...
Platforms: *nix
License: Freeware | Download (93): Virt-Factory Download |
Developed in the LogiCal project, the Coq tool is a formal proof management system: a proof done with Coq is mechanically checked by the machine. In particular, Coq allows: the definition of interactively evaluated functions or predicates, to state mathematical theorems and software...
Platforms: Mac
License: Freeware | Size: 11.2 MB | Download (92): Coq Download |
QuickRev is a code review tool which supports formal code review processes for Subversion and ClearCase controlled files. It implements a Complete Review Cycle, allows reviews between different versions and shows the differences between the files. It can be configured easily to be adapted to the...
Platforms: Windows
License: Freeware | Size: 1024 KB | Download (47): QuickRev Download |
The Online food ordering & Table booking System - Very easily manageable online food ordering system that allows your restaurant to manage your food order through website where your website visitors can browse Food menu in easiest way and order directly to your restaurant with Home Delivery, Take...
Platforms: Windows, Mac, Other, Pocket PC, Android, BlackBerry, iPhone, iPod, iTouch, Palm
License: Freeware | Size: 100 KB | Download (57): Online Food Ordering and Table Booking System Download |
Birthday celebrating, romantic dinner, mourning----we light up candles when we are happy or sad. In a long time of human history, candle plays an important role as lighting tools. In modern times, candles don't disappear because of the invention of electric light, and are doing great job on...
Platforms: Windows
License: Freeware | Size: 2.99 MB | Download (48): Flash flip book template of Candle light Download |
Christmas is coming, what kind of decorations you will use to beautify your hours, dinner table, even Christmas Tree? Will you send greetings to your friends or clients in traditional and old X'Mas card way? Popular modern decorations include Christmas trees, lights, garlands, mistletoe, nativity...
Platforms: Windows
License: Freeware | Size: 4.82 MB | Download (50): Flip_Themes_Package_Lively_Christmas Download |
On the eve of Thanksgiving, let this wallpaper mark your screen. The cool orange background and the artistic frame here show all the symbols of the occasion. Enjoy this Thanksgiving by watching this free animated wallpaper on your desktop.
Platforms: Windows
License: Freeware | Size: 1.79 MB | Download (45): Animated Thanksgiving Dinner Wallpaper Download |
Are you thinking of a nice romantic dinner with candles? Can you believe your computer can be a part of the special setting for the evening? It's true. This free Dream Aquarium 3D Screensaver will help you create the proper atmosphere. Put it on your monitor and you will see a little cosy...
Platforms: Windows
License: Freeware | Size: 3.07 MB | Download (59): Dream Aquarium 3D Screensaver Download |
Showcasing a variety of work attire specifically for a wide range of industries, this screensaver features the formal and stylish designs of S and H Work Uniforms. Believing in presenting a look of professionalism, S and H Work Uniforms are not only attractive and contemporary, but they are also...
Platforms: Windows
License: Freeware | Size: 1.02 MB | Download (50): Chef uniforms Download |