Free Downloads: Formal Menu Sample
License: All | Free
Coq is a formal proof management system.
Coq is a Formal proof management system. It provides a Formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Typical applications include the formalization of programming languages semantics, the formalization of mathematics and teaching.
Category: Business & Finance / Business Finance
Publisher: Coq Development Team, License: Freeware, Price: USD $0.00, File Size: 53.8 MB
Platform: Windows
Qunetix SD is a software deployment platform for heterogeneous networks, allowing you to install or update software on your network systems without Formal training. Using an automated and managed process, Qunetix SD manages the packaging, testing and depl
Category: Utilities / Network
Publisher: emperex.com, License: Freeware, Price: USD $0.00, File Size: 210.0 MB
Platform: Windows, Linux, Unix
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 are comfortable and durable.
Category: Desktop Enhancements / Screensavers
Publisher: S and H Work Uniforms, License: Freeware, Price: USD $0.00, File Size: 1.0 MB
Platform: Windows
CSS Menu Generator is a free WYSIWYG Menu generator. With this version of the tool you can generate multi-level horizontal or vertical pull-down Menu (also called "drop-down" Menu). To generate your Menu -- just select Menu type, add Menu items, customize color and font settings, then export all the files needed as "template" and you'll get all...
Category: Web Authoring / Web Design Utilities
Publisher: WonderWebWare.com, License: Freeware, Price: USD $0.00, File Size: 2.6 MB
Platform: Windows
Nero Creative Packs will jumpstart any project and help create cinematic finishes for your photo slideshows and home videos. It contains: Menu TemplatePack 1, Menu TemplatePack 2, Menu TemplatePack 3, Kwik Themes 1, Kwik Themes 2, ClipartPack, Sample ImagePack and Sample VideoPack.
Category: Audio / Music Creation
Publisher: Nero AG, License: Freeware, Price: USD $0.00, File Size: 28.0 MB
Platform: Windows
The ACARS Dispatch Client is the Dispatch end of a complete system that can be used for both Formal and free-format message and file exchange between simulated airplanes and ground stations. It is easy to install and easy to manipulate. It is really a very helpful tool.
Category: Utilities / Misc. Utilities
Publisher: Jeroen Hoppenbrouwers, License: Freeware, Price: USD $0.00, File Size: 1.6 MB
Platform: Windows
ToneTester is a Macintosh application that tests hearing. Specifically, it looks for offsets in how each of a person's ears hears pitch (the Formal term for this is "binaural diplacusis" or "interaural pitch difference"). To use it, you adjust a slider until your ears hear the same pitch, and then ToneTester tells you the actual pitch difference.
Category: Audio
Publisher: Suitable Systems, License: Freeware, Price: USD $0.00, File Size: 188.7 KB
Platform: Mac
DeskLauncher is a Start Menu alternative. It lets you launch applications, documents, URLs immediately and easier using toolbar, tray Menu, floating window, hotkeys or aliases. After installation DeskLauncher creates Sample Menu for you. Applications are added either through a dialog or by dragging from Windows onto the launch pad. The software has Load at startup...
Category: Utilities
Publisher: R-bytes software, License: Freeware, Price: USD $0.00, File Size: 1.0 MB
Platform: Windows
The initial figure is broken into some parts of the any form.
The initial figure is broken into some parts of the any form. These fragments mix up on a play area. You can move fragments and rotate, but cannot divide and unite. Your object is to combine from fragments a source figure.
During game you can see a figure shadow on the field and get a Sample. The Sample shows through the Menu or pressing a shadow. The combined fragments...
Category: Games / Misc. Games
Publisher: FreeSweetGames, License: Freeware, Price: USD $0.00, File Size: 672.0 KB
Platform: Windows
ABCMenuMan is an exciting new java Menu that is faster than animated GIFs with more than a few Menu items, easier for you to use than defining mouseover states, plus adds impressive mouseover effects for your website, and extremely flexible for the classy special effects you want! Thousands of websites are already using our software, and have received awards from publications such...
Category: Internet / Tools & Utilities
Publisher: 1 ABCMenuMan, License: Freeware, Price: USD $0.00, File Size: 2.1 MB
Platform: Windows, Unix
XML Menu is a revolutionary new and better approach to web menu design.
XML Menu is a revolutionary new and better approach to web Menu design. Instead of Menu content being described by placing unordered list elements on every single page of your website, XML Menu uses a single XML file to describe Menu content, and CSS to describe Menu presentation, or in other words, look and feel. This license is for non-commercial,...
Category: Web Authoring / JavaScript
Publisher: XmlMenu.com, License: Freeware, Price: USD $0.00, File Size: 2.3 MB
Platform: Windows
CSS Horizontal Menu Generator is a free tool for WYSIWYG menu generation.
CSS Horizontal Menu Generator is a free tool for WYSIWYG Menu generation. Just add Menu items, define color and font settings and get an instant preview inside the program window itself. You may then get the CSS and XHTML Menu code and paste it in your webpage, or - if you prefer -- you may just save new (template) page with the Menu generated...
Category: Web Authoring / XML/CSS Utilities
Publisher: WonderWebWare.com, License: Freeware, Price: USD $0.00, File Size: 583.7 KB
Platform: Windows
CSS Vertical Menu Generator is a free tool for WYSIWYG menu generation.
CSS Vertical Menu Generator is a free tool for WYSIWYG Menu generation. Just add Menu items, define color and font settings and get an instant preview inside the program window itself. You may then get the CSS and XHTML Menu code and paste it in your webpage, or - if you prefer -- you may get ready-to-use new (template) page with the css Menu generated...
Category: Web Authoring / XML/CSS Utilities
Publisher: WonderWebWare.com, License: Freeware, Price: USD $0.00, File Size: 583.7 KB
Platform: Windows
Menu Look Demo is a Java application which shows you an example of a Menu look using Swing components. To run the example you need to launch the *.jnlp file using Java Web Start. This application shows you all Menu items available: text-only Menu item, text and icon, radio button Menu item, check box Menu item and item in the submenu.
Category: Software Development / Components & Libraries
Publisher: Oracle and/or its affiliates, License: Freeware, Price: USD $0.00, File Size: 2.3 KB
Platform: Windows
Vista Start Menu was specifically designed to replace the often confusing Menu in Windows XP and Windows Vista. For your convenience, the interface has been developed with human psychology taken into account. Solve tasks in a simpler and quicker way. Vista Start Menu offers many new features not available in the system Start Menu. You can start a program or open...
Category: Utilities / Launchers
Publisher: OrdinarySoft, License: Freeware, Price: USD $0.00, File Size: 9.5 MB
Platform: Windows
Print sample receipts, read credit cards, copy files, etc.
Print Sample receipts, read credit cards, copy files, etc. MtP series printers feature best-in-breed power management, full onboard Menu selections, a useful suite of integration and configuration utilities and tools, advanced security features on Bluetooth® models, and emulations of popular printer brands.
Category: Utilities / Misc. Utilities
Publisher: printek, License: Freeware, Price: USD $0.00, File Size: 415.1 KB
Platform: Windows
Truly context sensitive right click menu.
Truly context sensitive right click Menu.
Most other menus only allow for fixed options on a single selector.
With this Menu, options can overlap on the selectors that they apply to.
The action (js function) for each choice on the Menu is passed the element that the Menu was generated on.
Category: Utilities / Misc. Utilities
Publisher: The jQuery Project, License: Freeware, Price: USD $0.00, File Size: 168.4 KB
Platform: Windows
Vista Start Menu was specifically designed to replace the often confusing Menu in Windows XP and Windows Vista. For your convenience, the interface has been developed with human psychology taken into account. Solve tasks in a simpler and quicker way. Vista Start Menu offers many new features not available in the system Start Menu. You can start a program or...
Category: Utilities
Publisher: OrdinarySoft, License: Freeware, Price: USD $0.00, File Size: 1.1 MB
Platform: Windows
Coalesys WebMenu for ASP.NET - Popup Menu web control for ASP.NET with support for IE, Firefox, Chrome, Safari and others. Includes complete help system, object reference and Sample pages.
WebMenu is an ASP component for generating a hierarchical browser-based Popup Menu with ASP. It is 100% DHTML, requires no plug-ins, and works for IE 4.x-5.x and NN 4.x-6.x.
Category: Web Authoring / Web Design Utilities
Publisher: Coalesys, Inc., License: Freeware, Price: USD $0.00, File Size: 1.5 MB
Platform: Windows
Sample resumes. Use our free reader. Find a Sample resume or a resume template.
Category: Utilities / Network
Publisher: Sample Resumes, License: Freeware, Price: USD $0.00, File Size: 1.1 MB
Platform: Windows
Pure CSS Menu : Free CSS Drop Down Menu Generator Online CSS Menu Maker. Create No-Javascript, 100% CSS Dropdown Menu in seconds! Horizontal css Menu & Vertical css Menu. PureCSSMenu is a FREE online tool that creates pure css drop down menus in few clicks! You need just 3 easy steps to build your CSS Menu: 1. Open PureCSSMenu and...
Category: Web Authoring / XML/CSS Utilities
Publisher: Pure CSS Menu.com, License: Freeware, Price: USD $0.00, File Size: 13.4 MB
Platform: Windows
Create modern Menu for your website with PalmPre style absolutely free using jQuery CSS Drop Down Menu. Select one of 6 color schemes. You don't need to have any design skills, know HTML, JavaScript, CSS, flash or any other coding, no photoshoping and image editing. Use ready to use jQuery CSS Drop Down Menu! The one thing you need to do is to write your own captions and...
Category: Web Authoring / XML/CSS Utilities
Publisher: Apycom jQuery, License: Freeware, Price: USD $0.00, File Size: 47.9 KB
Platform: Windows, Mac, Linux, Unix
Start Menu X is a replacement of the system Menu for professionals. Power users are a lot more demanding, and it's not surprising - instead of a petty dozen of programs we have hundreds! This means that we need a solution developed by professionals for professionals. Find out how to find and launch programs without scrolling, extra clicks and moves - this is Start Menu X....
Category: Utilities / Launchers
Publisher: OrdinarySoft, License: Freeware, Price: USD $0.00, File Size: 7.1 MB
Platform: Windows
Menu is one of the most popular navigation controls you can see on the many web sites all over the Internet. We're happy to offer you one of the most complete javascript Menu out there. Easily configurable and adjustable our popup Menu comes with the full set of features you expect from the modern Menu control. This Menu can work as a pure CSS pop-up...
Category: Web Authoring / JavaScript
Publisher: Apycom jQuery, License: Freeware, Price: USD $0.00, File Size: 41.0 KB
Platform: Windows, Linux, Mac
Every program these days seem to add their own items to the windows right-click menu.
Every program these days seem to add their own items to the windows right-click Menu. This Menu will after a while grow all out of proportions because of the sheer number of items. Use this free, unique utility to configure your windows menus. Remove Menu-items you never use. Put rarely used functions out on a sub-Menu. Keep only those functions you often use in a...
Category: Utilities / Shell Extensions
Publisher: HACE, License: Freeware, Price: USD $0.00, File Size: 849.9 KB
Platform: Windows
Pure CSS Menu.com : Free CSS Drop Down Menu Generator
Online CSS Menu Maker. Create No-Javascript, 100% CSS Dropdown Menu in seconds! Horizontal css Menu & Vertical css Menu.
PureCSSMenu.com is a FREE online tool that creates pure css drop down
menus in few clicks!
You need just 3 easy steps to build your CSS Menu:
1....
Category: Software Development / Help File Utilities
Publisher: Pure CSS Menu.com, License: Freeware, Price: USD $0.00, File Size: 13.4 MB
Platform: Windows
The Windows 10 start Menu forces you to use apps and impairs your ability to access folders and common applications. This application will help you escape these annoyances. Start Menu 10 is the right solution for replacing the Windows 10 start Menu. Opening the Menu gives you access to a smart list of popular apps and applications. This list is populated with the...
Category: Utilities / Launchers
Publisher: OrdinarySoft, License: Freeware, Price: USD $0.00, File Size: 5.7 MB
Platform: Windows
FMF Skin Creator™ is software for creating new Menu skins for Flash Menu Factory™ (FMF). Using this free utility, the users of Flash Menu Factory will be able to unleash their creativity and design new Menu skins that will meet their needs. FMF Skin Creator includes a Quick Start Guide, a detailed Help and example and template files that will help you learn...
Category: Software Development
Publisher: Epinoisis Software, License: Freeware, Price: USD $0.00, File Size: 17.3 MB
Platform: Windows
Sample SAT Essays that can help you study for the SAT Essay.
Sample SAT Essays that can help you study for the SAT Essay. Sample sat essays helps you learn good sat essay form through modeling. This is one of the key ways to learn anything including sat essay writing. When you see these Sample sat essays you will learn the 5 characteristics of high-scoring sat essays through osmossis. You won't even realize you are learning from...
Category: Home & Education / Science
Publisher: Sample Sat Essays, License: Freeware, Price: USD $0.00, File Size: 1.2 MB
Platform: Windows
Visual Menu Maker/Free is an intuitive wizard for the rapid development of professional looking menus. Visual Menu Maker/Free offers 100% standards compliant CSS and XML data formats, allowing for complete separation between content and presentation. Visual Menu Maker/Free creates compiled and compressed data files, making it the fastest loading Menu...
Category: Web Authoring / JavaScript
Publisher: VisualMenu.com, License: Freeware, Price: USD $0.00, File Size: 1.1 MB
Platform: Windows
There are many hard disk menu systems but none as simple and flexible as Easy Menu.
There are many hard disk Menu systems but none as simple and flexible as Easy Menu. Unlike most systems which only allow you nine items to a page, Easy Menu can accomodate up to 200 and any of those can call sub menus which can also hold up to 200 items. You can select programs from Easy Menu by the arrow keys, by typing the number or with full alphabetic search....
Category: Utilities / System Utilities
Publisher: Easy Software Ltd, License: Freeware, Price: USD $0.00, File Size: 195.0 KB
Platform: Unknown
Set any actions to any items of the menu. Easy & fast. .
Category: Software Development
Publisher: http://1-st-pop-up-menu-builder.com, License: Freeware, Price: USD $0.00, File Size: 4.4 KB
Platform: Windows, Mac, Linux, Palm,
Simple Server-side component-oriented MVC Java Web Framework alternative to JSF, Wicket, Tapestry, Click etc. The framework consists of a compiler and the runtime. The HybridJava language is strictly defined by a merge of Java and HTML Formal grammar and extends Java semantics throughout markup. Compiler generates Java code invoked from a single Servlet. The runtime is less than 1000...
Category: Internet / Web Servers
Publisher: HybridServerPages Group, License: Freeware, Price: USD $0.00, File Size: 366.6 KB
Platform: Windows, Mac, Linux, Android, Java, MS-DOS, Unix, Other
NavABC! is an exciting new java applet Menu that allows you to easily add amazing fast loading Menu effects to your website, and makes web design easy! When you have more than a few animated GIF Menu items, this loads much FASTER than animated GIFs! The full version does not pause for 3 seconds, nor does it list our website in the status bar or while loading. Plus, you...
Category: Internet
Publisher: -- NavABC Java Menu --, License: Freeware, Price: USD $0.00, File Size: 95.9 KB
Platform: Windows, Mac, Linux, Palm, Unix, Source, MS-DOS, AS/400, OS/2, Pocket
PC, RIM, Symbian, OpenVMS, Netware, BEOS, Java, Handheld/Mobile Other
A sample size calculator for cluster randomised trials.
A Sample size calculator for cluster randomised trials.
Sample Size Calculator(SSC) is a Windows based software package that will make corrections to an unadjusted Sample size.Accounting for ICC and cluster size,for both binary and continuous data,SSC will give the number of clusters of a certain size needed to detect a significant difference between to equally...
Category: Business & Finance / Applications
Publisher: University of Aberdeen, License: Freeware, Price: USD $0.00, File Size: 2.1 MB
Platform: Windows
Right Click Enhancer gives you power to control the right click menu everyone uses.
Right Click Enhancer gives you power to control the right click Menu everyone uses. Right Click Enhancer allows yo to edit your right click Menu in the way you want. Now with help of this wonderful tool you can add some good stuffs to your right click context Menu. Right Click Enhancer consist of 7 tools to manage your right click context Menu:
- Right Click...
Category: Utilities / Misc. Utilities
Publisher: RBSoft, Inc., License: Freeware, Price: USD $0.00, File Size: 4.1 MB
Platform: Windows
Easily create fantastic CSS-based drop down menus for your website. Many elegant Menu templates are available, including modern glossy styles. Menus created with Easy CSS Menu Maker are very quick, compact and compatible with both modern and popular, but old web browsers. The menus created with Easy CSS Menu will also work on mobile and touch devices. What is more, they are...
Category: Web Authoring / HTML Editors
Publisher: Blumentals Software, License: Freeware, Price: USD $0.00, File Size: 23.2 MB
Platform: Windows
Cocktail II (by lack of a better name) is a follow up project of Cocktail.
Cocktail II (by lack of a better name) is a follow up project of Cocktail. It is a tool for the Formal static verification of programs. The language that is currently supported is small, but already demonstrates some interesting features, like recursive datatypes.
Category: Software Development / Misc. Programming
Publisher: M.Franssen, License: Freeware, Price: USD $0.00, File Size: 32.4 MB
Platform: Windows
Menus are a key way for visitors to go through your site and access the content. Many different types and styles of menus exist. Here you can find jQuery Menu and CSS based drop-down or just multi level Menu examples with down loadable files and explanations as well. The base for this Menu is simple CSS drop down Menu based on unordered list. The Menu provides...
Category: Web Authoring / JavaScript
Publisher: Apycom jQuery, License: Freeware, Price: USD $0.00, File Size: 31.3 KB
Platform: Windows, Mac, Linux, Unix, OS/2
jQuery Drop Down Menu, Web Buttons, Animated jQuery Menu, Navigation Bar, Java Menus for your Website! Create drop down Menu with beautiful jQuery effects easily. This Menu is fully accessible even when javascript is turned off, as a pure css Menu. Menus are a key way for visitors to go through your site and access the content. Many different types and styles...
Category: Web Authoring / JavaScript
Publisher: Apycom jQuery, License: Freeware, Price: USD $0.00, File Size: 27.8 KB
Platform: Windows, Mac, Linux, Unix, OS/2
Create drop down Menu with beautiful jQuery effects easily! Menus are a key way for visitors to go through your site and access the content. jQuery Menu Drop Down, Web Buttons, Animated jQuery Menu, Navigation Bar, Java Menus for your Website! This Menu is fully accessible even when javascript is turned off, as a pure css Menu. Many different types and...
Category: Web Authoring / JavaScript
Publisher: Apycom jQuery, License: Freeware, Price: USD $0.00, File Size: 50.5 KB
Platform: Windows, Mac, Linux, Unix, OS/2
Font Preview is a small utility that allows you to organize fonts on your computer.
Font Preview is a small utility that allows you to organize fonts on your computer. With this program you can group the existing fonts by categories or families. Font Preview creates a database where you can see all fonts installed on your computer system. There is a “Select” option, where you can choose a family of a font you want to preview. You can enter a Sample text,...
Category: Multimedia & Design / Fonts
Publisher: Dennis Vogel, License: Freeware, Price: USD $0.00, File Size: 1.1 MB
Platform: Windows
Create drop down Menu with beautiful jQuery effects easily! Menus are a key way for visitors to go through your site and access the content. jQuery Horizontal Menu, Web Buttons, Animated jQuery Menu, Navigation Bar, Java Menus for your Website! This Menu is fully accessible even when javascript is turned off, as a pure css Menu. Many different types and...
Category: Web Authoring / JavaScript
Publisher: Apycom jQuery, License: Freeware, Price: USD $0.00, File Size: 108.1 KB
Platform: Windows, Mac, Linux, Unix, OS/2
How long does it take you to find an application in the long Start menu list?
How long does it take you to find an application in the long Start Menu list? The Handy Start Menu utility will reduce that time as it will automatically group applications in the Menu by categories depending on their purpose.
Category: Utilities / Launchers
Publisher: handystartmenu.com, License: Freeware, Price: USD $0.00, File Size: 6.1 MB
Platform: Windows, Mac, Vista
Are you tired of searching for programs in a long "Start Menu" list? If so, this program is for you. It allows you to arrange all the shortcuts in the Start Menu. Your Start Menu looks neat, and you can easily and quickly find any program you want. For example, you can create a special "Games" category, and when opening the Start Menu you will see a "Games" section...
Category: Utilities
Publisher: OrdinarySoft, License: Freeware, Price: USD $0.00, File Size: 1.1 MB
Platform: Windows
Portable Start Menu is a simple and free start Menu application that can be installed on USB sticks or local PCs. Organize your programs in a simple Menu system and launch them via a tray icon. If you close Portable Start Menu on an USB-Stick, running applications can be closed automatically, too.Main features: * Organize and launch applications via a tray...
Category: Utilities / Launchers
Publisher: Aignesberger Software GmbH, License: Freeware, Price: USD $0.00, File Size: 962.6 KB
Platform: Windows
We are offering you a universal flash Menu tool where you can customize practically any parameter. More than 1600 variants are possible, not taking into account all color and transparency variations. Parameters of the sub Menu buttons can be customized independently of the main Menu buttons. You will also appreciate simplicity of the "Total Menu": it takes changing...
Category: Software Development
Publisher: Flash-Extensions.net, License: Freeware, Price: USD $0.00, File Size: 13.4 KB
Platform: Windows, Mac
FameID Menu provides you with a professionally and eye-catching looking, ready to use and easy to set up solution for your website: pre-built Menu system that is very easy to use and, yet, extremely powerful. It?s stable, attractive and is surely to catch an eye of your website?s visitors. FEATURES This Menu is easily configurable. The features of the Menu that you...
Category: Web Authoring / Flash Utilities
Publisher: FameID, License: Freeware, Price: USD $0.00, File Size: 146.0 KB
Platform: Windows
A better Start Menu than the Start Menu!
A better Start Menu than the Start Menu! A quicker and more fun way to navigate your computer, and get to the files you want. PaneKiller puts an icon on your taskbar that allows you to access the Desktop, My Computer, Control Panels, your hard drives, your program files, your documents... anything, any way you like. PaneKiller is the quickest way to get to all the documents and...
Category: Desktop Enhancements / Shell & Desktop Managers
Publisher: MaDdoG Software, License: Freeware, Price: USD $0.00, File Size: 349.0 KB
Platform: Windows
PS is an interactive program for performing power and Sample size calculations that may be downloaded for free. It can be used for studies with dichotomous, continuous, or survival response measures.
The alternative hypothesis of interest may be specified either in terms of differing response rates, means, or survival times, or in terms of relative risks or odds ratios....
Category: Business & Finance / Applications
Publisher: William D. Dupont and Walton D. Plummer, Jr., License: Freeware, Price: USD $0.00, File Size: 3.2 MB
Platform: Windows