Free Downloads: Formal
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
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
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
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
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
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
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
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
PADManager is an advanced PAD (Portable Application Description) editing and managing application.
PADManager is an advanced PAD (Portable Application Description) editing and managing application. Portable Application Description or PAD is a standard developed by the Association of Shareware Professionals (ASP). It is designed to replace the old non-Formal file_id.diz and other textual program descriptions with an XML-based and strictly specified format. There is a very basic PAD...
Category: Software Development / Management & Distribution
Publisher: Software Submission Service, License: Freeware, Price: USD $0.00, File Size: 2.3 MB
Platform: Windows
Highly flexible knowledge organizer and collaboration tool for the smallest project to the largest enterprise. Organize yourideas, thoughts, questions, key information and related data in a simple, fast and efficient way during your daily work. Use it for projects, meetings, customer management, asset management, virtual filing systems, training modules and many more. Handle any kind of...
Category: Business & Finance
Publisher: SYCON Beratungs GmbH, License: Freeware, Price: USD $0.00, File Size: 5.2 MB
Platform: Windows
This revolutionary new software application is the first ever to embrace true stand-alone communications processing in a local area networking environment that includes LAN and Wi-Fi. This application is also completely and absolutely portable! People love their privacy and will do everything possible to protect their messaging and communications from being intercepted, whether they are...
Category: Business & Finance / Small Business Tools
Publisher: SSuite Office Software, License: Freeware, Price: USD $0.00, File Size: 2.9 MB
Platform: Windows
Freeware
This revolutionary new software application is the first ever to embrace true stand-alone communications processing in a local area networking environment that includes LAN and Wi-Fi. This application is also completely and absolutely portable! People love their privacy and will do everything possible to protect their messaging and communications from being intercepted, whether they are...
Category: Business & Finance / Applications
Publisher: SSuite Office Software, License: Freeware, Price: USD $0.00, File Size: 7.0 MB
Platform: Windows
Review Assistant is a code review plugin for Visual Studio. The code review tool allows creating review requests and responding to them without leaving Visual Studio. Review Assistant supports TFS, Subversion, Git, Mercurial, and Perforce. Key features: - Code Review in Visual Studio. Review Assistant provides creating review comments directly from the code editor. The Code Review Board...
Category: Software Development
Publisher: Devart, License: Freeware, Price: USD $0.00, File Size: 19.9 MB
Platform: Windows
Where other modeling languages and diagramming techniques struggle being too complex or too abstract for a non- IT user, the Business Process Modeling Notation promises remedy. From early on, itp-commerce felt the urge to have an uniform tool for business process modeling and have therefore influentially participated in the development of the BPMN specification. With Process Modeler for...
Category: Business & Finance / Applications
Publisher: itp commerce ltd., License: Freeware, Price: USD $0.00, File Size: 52.0 MB
Platform: Windows
SqlDbx is a fast and easy to use database SQL development IDE for
database administrators and application or database developers who work in heterogeneous Database Server environments. SqlDbx built around an advanced SQL Editor and Database Object Explorer. SqlDbx provides a consistent user interface between different DBMS Systems. The intuitive and straight forward interface allows...
Category: Business & Finance / Database Management
Publisher: ACS Technologies, Inc, License: Freeware, Price: USD $0.00, File Size: 683.0 KB
Platform: Windows
 |