Free Downloads: Formal Outline
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
Essbase Outline Extractor is a tool that allows you to export essbase outline contents.
Essbase Outline Extractor is a tool that allows you to export essbase Outline contents.
The OlapUnderground Outline Extractor exports Oracle Essbase Outline contents into files. You can select which fields to include in the file. You can export a dimension to a specified file, or export all dimensions, where the file name is the dimension name with a .txt...
Category: Software Development / Misc. Programming
Publisher: olap underground, License: Freeware, Price: USD $0.00, File Size: 0
Platform: Windows
Make simple distortions or extreme bends and loops in any part of an image by drawing an Outline around it, and then a second Outline to define the shape to be molded into.Any kind of image or AVI video can be distorted and animated - particularly text, logos, and photographs of people etc.Animation effects are: continuous flowing motion, and simple to-and-fro motion - either of...
Category: Multimedia & Design / Animation
Publisher: xiberpix, License: Freeware, Price: USD $0.00, File Size: 1.7 MB
Platform: Windows
Simple tool for spicing up ordinary images, digital photos etc. Program uses outline posterization technique to create snazzy-looking effects.
Category: Multimedia & Design
Publisher: Marek Jablonski, License: Freeware, Price: USD $0.00, File Size: 266.7 KB
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
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
GearDXF is a utility which outputs a DXF file containing a 2D Outline of a spur gear using specified parameters. The tooth face is a true involute curve, but the base gaps between teeth are rough. Good for modeling spur gears. A brilliant piece of software, related to spur gear profiles, is GearDXF.
Category: Multimedia & Design / Image Editing
Publisher: Forest Moon Productions, License: Freeware, Price: USD $0.00, File Size: 2.4 MB
Platform: Windows
Genealogica Grafica is the successor of KStableau.
Genealogica Grafica is the successor of KStableau. The program offers broad charting capabilities, such as: ancestor chart (pedigree) plus Outline, descendants chart plus Outline, ancestor tree,descendant tree, timeline descendants chart, inbreeding charts, relationship charts, circle diagrams, geographic map of birthplaces.
This program has an a clear user interface where...
Category: Home & Education / Genealogy
Publisher: Tom de Neef, License: Freeware, Price: USD $0.00, File Size: 2.1 MB
Platform: Windows
The idea is to occupy the board with as many of your gems as possible, you do this by moving your gems into the empty pods. You can choose to play against the computer, or against another human opponent. There are two types of moves, a jump or double, indicated when your piece is selected. Entering into a hexxagon occupied by an opponent's piece will transform them into yours.Use the left mouse...
Category: Games / Puzzles
Publisher: BigPower Software Inc., License: Freeware, Price: USD $0.00, File Size: 716.8 KB
Platform: Windows
With this program, you can make your business cards quickly and easily.
With this program, you can make your business cards quickly and easily. Simply clip your picture out of a photo, or insert your company logo, add the text and graphics, and you are ready to print. Open a photo in a preview window and scale, mirror, flip or rotate the picture. Then click on the clip tool icon and Outline one or more clips by clicking on the picture. After the first click,...
Category: Multimedia & Design / Multimedia App's
Publisher: Selfkey Systems, License: Freeware, Price: USD $0.00, File Size: 1.1 MB
Platform: Windows
RapidDrawing is an Outline sketch program that enables you to create the shape of a curve you want more precisely than existing methods (e.g. Illustrator pentool, nurbs curve, spline). The Illustrator pentool has two control points whereas RapidDrawing has four more controls. RapidDrawing let you create the shape of a curve you want more easily.
Category: Multimedia & Design / Image Editing
Publisher: RapidDrawing, License: Freeware, Price: USD $0.00, File Size: 0
Platform: Windows
Freeware
ActionOutline Lite helps you organize your bits of info into the intuitive Outline form. The possibilities for its use are practically endless: to-do lists, recipes, project notes, personal contacts, bookmark lists, reports, term papers and more. Arrange items using keyboard or mouse, cut and paste branches, place checks or tags next to listed items, search and replace...
Category: Business & Finance / Personal Info Managers
Publisher: Green Parrots Software, License: Freeware, Price: USD $0.00, File Size: 1.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
Learn how to write a business plan along with a sample Outline, sample complete business plans, and a generator that accepts your input to generate a custom business plan. Though the software is optimized for limited liability companies (LLCs), any type of business entity can use the generator.
Category: Business & Finance / Business Finance
Publisher: The LLC Company, License: Freeware, Price: USD $0.00, File Size: 12.4 MB
Platform: Windows
This file will install or update your existing version and install 9 free images for the Second Nature - Winter 2011 collection. Wide screen collections are great for wide screen monitors, traditional monitors and laptop screens. Date in Calendar automatically updates (v4.46). Note that the grey background on the date it was first run will NOT change, but the Outline around the current...
Category: Desktop Enhancements / Screensavers
Publisher: Second Nature Software, Inc., License: Freeware, Price: USD $0.00, File Size: 6.4 MB
Platform: Windows
An interactive IFS Fractal generator focused on the "Collage Theorem", IFS Lab allows the user to sketch an approximate Outline of the desired fractal, then cover it with transformed images of itself to build a collage. The transformed images can be stretched, rotated and translated with the mouse in an easy to use user interface. The attractor can then be rendered by the random...
Category: Multimedia & Design
Publisher: Nathan Zeldes, License: Freeware, Price: USD $0.00, File Size: 81.7 KB
Platform: Windows
pure::variants is the tool to Outline and manage efficiently all parts of software products with their components, restrictions and terms of usage. With this set of information and with the continuous tool support throughout the entire software configuration process valid solutions are created automatically from the chosen features.
It is easy to get started with...
Category: Software Development / Misc. Programming
Publisher: pure-systems GmbH, License: Freeware, Price: USD $0.00, File Size: 41.1 MB
Platform: Windows
With MeshMagic 3D, viewing and editing stl files has never been easier. Import STL files created with CAD and drafting software. You can then use MeshMagic to rotate and rescale the existing meshes. MeshMagic is an excellent 3D modeling program for viewing and editing STL files. The interface is intuitive and allows users to rotate and scale existing meshes. With MeshMagic you can select entire...
Category: Multimedia & Design / Image Editing
Publisher: NCH Software, License: Freeware, Price: USD $0.00, File Size: 350.7 KB
Platform: Windows
The free screensaver, Luna, was created by RateMyScreensaver.
The free screensaver, Luna, was created by RateMyScreensaver.com and contains 19 high resolution images of the Moon. The Moon is Earth's only natural satellite. It has no Formal English name other than the Moon, although it is occasionally called Luna (Latin for moon) to distinguish it from the generic term moon (referring to any of the various natural satellites of other planets).- wiki...
Category: Desktop Enhancements / Screensavers
Publisher: RateMyScreensaver, License: Freeware, Price: USD $0.00, File Size: 3.1 MB
Platform: Windows
Beating The Beast! IM Jungle Survival Guide! Everyday hundreds, thousands, maybe hundreds of thousands of people decide to investigate the idea of working from home or starting their very own home-based business. They have heard of others that have done so who have been very successful...maybe even wildly successful at it. The Internet really is the great equalizer. The level of Formal...
Category: Web Authoring / Web Design Utilities
Publisher: Make Extra Money, License: Freeware, Price: USD $0.00, File Size: 614.4 KB
Platform: Windows
The academy is where would-be ninja start; they are not actually considered ninja until they graduate.
Academy students take Formal and practical tests of all sorts and are taught basic ninja skills, such as martial arts, techniques, physical fitness and the way of the ninja.
Basic weapon usage, such as kunai and shuriken, are commonly taught. Elementary ninja...
Category: Games / Action
Publisher: Softendo, License: Freeware, Price: USD $0.00, File Size: 3.6 MB
Platform: Windows
With this program you can see inside your software source code, find out how much code you have and identify the relative complexity of your modules. For example, you can use SourceMonitor to identify the code that is most likely to contain defects and thus warrants Formal review. SourceMonitor, written in C , runs through your code at high speed.
Category: Software Development / Tools & Editors
Publisher: Campwood Software, License: Freeware, Price: USD $0.00, File Size: 2.2 MB
Platform: Windows
Freeware
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
PCB Artist is a user friendly, fully integrated, schematics
capture & PCB layout tool that you will find easy to use.
You can download PCB Artist and install the product at no charge and start designing your PCB design almost immediately.
Once complete, your files are saved to your computer,
or you can upload and send to us for order placement.
PCB Artist has...
Category: Multimedia & Design / Multimedia App's
Publisher: Advanced Circuits, License: Freeware, Price: USD $0.00, File Size: 443.5 KB
Platform: Windows
RIMSys is network based software that defines a simple process of incident "Raising", "Investigation", "Action" recommendation, "Approval", "Implementation" and "Close".
It can be downloaded, installed and operational within an hour and can be used with no Formal training.
RIMSys will help to quickly...
Category: Business & Finance / Business Finance
Publisher: OMCS International Pty Ltd, License: Freeware, Price: USD $0.00, File Size: 12.7 MB
Platform: Windows
If you're in the job market, then Ezee CV - Resume is the program that can help you create a CV or resume to be be proud of - even if you know nothing about setting-out and formatting.
It's as easy as filling out a form!
If you can fill out a form, if you can use a keyboard and mouse, then you have all the skills you need to create a professional-looking document...
Category: Home & Education / Miscellaneous
Publisher: Heights Software, License: Freeware, Price: USD $0.00, File Size: 1.8 MB
Platform: Windows
With this Import / Export Plugin, Silva Elm's Sense Professional Ediitor may be used as an OPML Editor with a freestyle editing environment.
Documents may be multilingual with a control to change the input keyboard language on-the-fly.
Editing is carried out using the highly synchronized Outline and edit panes of the Sense Editor.
Extensive document management...
Category: Web Authoring / XML/CSS Utilities
Publisher: Silva Elm Ltd, License: Freeware, Price: USD $0.00, File Size: 740.0 KB
Platform: Windows
LinkPilot makes your favorite links visual.
LinkPilot makes your favorite links visual. To create a visual favorite, or an "imagelink", choose an easily memorable graphic element of a Web page (logo, header, or picture) and Outline it with the mouse.
LinkPilot is extremely intuitive and straightforward. It is an Internet Explorer add-on and utilizes a familiar Explorer-style thumbnail view interface to manage and...
Category: Internet / Misc. Plugins
Publisher: Linkgram, License: Freeware, Price: USD $0.00, File Size: 391.7 KB
Platform: Windows
Momindum Timecoder is a smart tool for recording and timecoding your PowerPoint slideshows.
Momindum Timecoder is a smart tool for recording and timecoding your PowerPoint slideshows. It automatically generates a list of keywords and an Outline.Momindum Timecoder is the perfect companion to Momindum Studio as it automates most of the Rich Media creation process, allowing users to easily create a presentation in minutes.
Category: Multimedia & Design / Multimedia App's
Publisher: Momindum, License: Freeware, Price: USD $0.00, File Size: 7.5 MB
Platform: Windows
DXL Editor is the smartest editor for Rational DOORS DXL.
DXL Editor is the smartest editor for Rational DOORS DXL.
The DXL Editor development environment offers:
-Code Completion for DXL keywords and function names
-Direct execution of DXL scripts
-Direct navigation to script errors
-Outline view of files for easy navigation
Category: Multimedia & Design / Digital Media Editors
Publisher: Sodius, License: Freeware, Price: USD $0.00, File Size: 53.3 MB
Platform: Windows
XCSB is an optimising Structured PIC BASIC compiler capable of stand alone use or in conjunction with the ZMech CASE tool and XCSIM multiprocessor simulator (which provides source level debug facilities)
Optimised generation of actual parameters used in function invokation based on user defined Formal parameter list (known as function prototype in C language). Some compilers...
Category: Software Development / Compilers & Interpreters
Publisher: Sergio Masci, License: Freeware, Price: USD $0.00, File Size: 94.4 KB
Platform: Windows
Theme Clock-7 is a simple but nice screensaver that displays the time in a huge analog clock that appears in the center of the screen. The clock is gray with big black numbers and also a gray background. Unfortunately, in this screensaver you cannot customize the colors of anything. However, what you can customize is the text that appears within the clock; either you write a small text or show...
Category: Desktop Enhancements / Screensavers
Publisher: Style-7, License: Freeware, Price: USD $0.00, File Size: 358.1 KB
Platform: Windows
NonEuclid is an Interactive Java Software for Creating Ruler and Compass Constructions in both the Poincaré Disk and the Upper Half-Plane Models of Hyperbolic Geometry.
NonEuclid allows the curious explorer to gain experience in Hyperbolic Geometry and to empirically investigate questions such as: "In Hyperbolic Geometry, are the base angles of an isosceles triangle...
Category: Multimedia & Design / Image Editing
Publisher: University of New Mexico, License: Freeware, Price: USD $0.00, File Size: 310.8 KB
Platform: Windows
CursorUS is an extremely simple application that allows you to extend the borders of your desktop, thus enabling you to navigate it moving your mouse continuously from side to side. With this small program you won't have to drag your mouse all across the desktop anymore, since when you move your mouse at the right edge of your screen, it will appear directly on the left edge. The same...
Category: Desktop Enhancements / Cursors
Publisher: Loonies Software, License: Freeware, Price: USD $0.00, File Size: 72.3 KB
Platform: Windows
If you do not like the Windows 7 version of Solitaire here is your chance to play the old version of Windows XP Solitaire game on Windows 7 without much hassles. Anyone who plays the Solitaire game for more than 30 seconds can see that the differences between XP and 7 are more than just cosmetic. The Windows 7 version is very much different than the XP version. The cards are blurry in Windows 7...
Category: Games / Cards, Casino, Lottery
Publisher: SOLITAIREXP, License: Freeware, Price: USD $0.00, File Size: 424.0 KB
Platform: Windows
The Irssi for Windows installer and portable packages are finally in the process of being updated for Irssi. Before the new Windows binaries are released, we'd like some Windows users to test the installer in order to prepare it for prime time. If you would like to help with the test effort, please read the testing notes that Outline the testing details, then download the test...
Category: Internet / Misc. Plugins
Publisher: Irssi Team, License: Freeware, Price: USD $0.00, File Size: 8.6 MB
Platform: Windows
ToonTalk is a completely new kind of software -- both a state-of-the-art programming language and a video game. Children create programs by performing actions in an animated world.
Computer programming can be a creative, empowering, and rewarding activity. Programs can be constructed for an incredible variety of purposes -- games, music, math, animation, simulation, science,...
Category: Home & Education / Kids & Parenting
Publisher: Animated Programs, License: Freeware, Price: USD $0.00, File Size: 127.5 MB
Platform: Windows
VideoIQ View™ is an advanced video management system with unique capabilities based on real-time video analytics, megapixel resolution, and decentralized storage. VideoIQ View monitors the health and alarm status of hundreds of cameras and encoders simultaneously, provides live viewing of any 32 standard or high definition cameras, alerts operators to potential threats automatically,...
Category: Security & Privacy / Encrypting
Publisher: VideoIQ, Inc, License: Freeware, Price: USD $0.00, File Size: 416.4 MB
Platform: Windows
The HOMA Calculator is a tool for assessing the insulin sensitivity (%S) and beta cell function (%B), for professionals in the health care field. This program can assist you in managing Type 2 diabetes, but not by replacing a Formal medical assessment. The calculator uses the HOMA2 model for its estimation of %S and %B. You have to input the values of the fasting patient's plasma...
Category: Business & Finance / Business Finance
Publisher: University of Oxford, License: Freeware, Price: USD $0.00, File Size: 1.6 MB
Platform: Windows
The Intel(R) Chipset Device Software installs Windows* INF files to the target system.
The Intel(R) Chipset Device Software installs Windows* INF files to the target system. These files Outline to the operating system how to configure the Intel(R) chipset components in order to ensure that the following features function properly:
Category: Utilities / Misc. Utilities
Publisher: downloadfinder.intel.com, License: Freeware, Price: USD $0.00, File Size: 2.9 MB
Platform: Windows, Mac, Vista
Create infinite numbers of unique printable yearly calendars for any year with Excel Calendar Creator. Just enter the year and this calendar creator would generate the calendar. Customize colors, font, borders, Outline and save them as themes or create yo
Category: Business & Finance / Applications
Publisher: exceltemplates.blogspot.com, License: Freeware, Price: USD $0.00, File Size: 51.2 KB
Platform: Windows, Mac, 2K, 2K3, Vista
Driving Model Driven Development .
Driving Model Driven Development . Running under Windows, Blueprint is a modelling tool that will become integral to your software development process. The greatest feature of Blueprint is that it gives you the ability to generate any source code or text based on your model. Experience Model Driven Development now. Extremely large systems have been generated entirely from Blueprint templates...
Category: Utilities / Misc. Utilities
Publisher: Geometry Pty Ltd, License: Freeware, Price: USD $0.00, File Size: 2.0 MB
Platform: Windows
CIRCOR Select Sizing Program
Designed and developed as an intuitive, user friendly program to provide technically sound product sizing & selection. Produces the following industry standard reports:
- Specification Sheet
- Analysis Sheet
- Factory Notes / QA Plan
- Flow Curve
- Outline Drawing
Category: Audio / Utilities & Plug-Ins
Publisher: Circor Group, License: Freeware, Price: USD $0.00, File Size: 29.3 MB
Platform: Windows
Probably you are a proud owner of a Nissan car.
Probably you are a proud owner of a Nissan car. Or probably you want to become one.
One of the new additions to the Nissan line of cars is the Micra.
This automobile is Nissan’s answer to the new line of compact cars in the world. It’s curvy, it’s small, it’s supposed to be a great car.
You will have to check it out yourselves and find out. Well, Nissan...
Category: Desktop Enhancements / Screensavers
Publisher: Nissan, License: Freeware, Price: USD $0.00, File Size: 1.8 MB
Platform: Windows
A reversi online game. After you and an opponent have joined a game of reversi you may go to it any time by clicking your opponent's name as it appears on your game status page. If it is your turn, when you see the game board a blue Outline is shown around the pieces that were changed in your opponent's last move.
To make your move, click a space where you want to place a piece. You...
Category: Games / Misc. Games
Publisher: Fun chess, License: Freeware, Price: USD $0.00, File Size: 13.0 KB
Platform: Windows, Mac
SupConverter is a flexible, reliable and friendly solution created to help you easily convert SRT, ASS/SSA, SST, BDN subtitles to Blu-ray PES, SUP and BDN format. It supports many advanced features for text subtitle, like vertical text, right-to-left read order, extra line space, Outline, shadow. It also provides four type brush: solid, hatch, linear gradient and texture.
Category: Audio / Rippers & Encoders
Publisher: Defsoft, License: Freeware, Price: USD $0.00, File Size: 1.6 MB
Platform: Windows
TextCite is a program for organizing and commenting textual citations from texts (books, articles, or other published works) for use in producing scientific or academic publications. You can organize by publication, author, category, or Outline.
It works with bibliographic management programs like Citation, EndNote, RefWorks, and BibTeX, providing important text/citation...
Category: Home & Education / Miscellaneous
Publisher: Erik Norvelle, License: Freeware, Price: USD $0.00, File Size: 13.9 MB
Platform: Windows
Moving Veiltail Goldfish Wallpaper is an interactive and smoothly desktop background which let you click of your mouse to guide Moving Veiltail Goldfish fish in any given direction. Veiltail Goldfish is a very gracious and beautiful aquarium fish of the goldfish species. The Veiltail goldfish should be bright and alert, with a short, rounded body with a smooth Outline. The Veiltail...
Category: Desktop Enhancements / Misc. Themes
Publisher: digiaquascr, License: Freeware, Price: USD $0.00, File Size: 3.3 MB
Platform: Windows
 |