Maternity Formal Dresses
OpenEuclide is a 2D geometry software: figures are defined dynamically by describing formal geometrical constraints. This project is a basic tool for educational purpose: configurations in plane geometry, vector manipulation ...
|License: Freeware||Size: 286.72 KB||Download (110): OpenEuclide 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...
|License: Freeware||Size: 1.6 MB||Download (76): ToscanaJ Download|
Logic Minimizer is an innovative, versatile application for simplifying Karnaugh maps and logical expressions step by step. It is geared for those involved in engineering fields, more precisely digital and formal logic scholars and academics, digital devices constructors or anybody involved with...
Platforms: Windows, Other
|License: Shareware||Cost: $22.95 USD||Size: 6.92 MB||Download (407): Logic Minimizer 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,...
|License: Freeware||Download (31): Universal Grammar Editor Download|
Junior Dresses - Simple and easy to use application designed for the people that want to find dresses for their kids without going to the mall. The application is very easy to install and use thanks to the well designed user interface that makes everything straightforward. You will really enjoy...
Platforms: Windows, Edition 2005
|License: Freeware||Size: 1.97 MB||Download (27): Junior Dresses Download|
View fantastic prom dresses collection. Now you can set this fabulous
prom dresses collection as your screensaver by downloading our
software. Download it today.
|License: Freeware||Size: 1.08 MB||Download (27): Prom Dresses Screensaver Download|
This tool will help you understnad fitting guidelines for ice skater dresses and other figure skating clothing items. Ensureing the right fit means having a better experience. Sharing this information with your entire skate team can help all members understand how to better fit thier ice skater...
|License: Freeware||Size: 696 KB||Download (74): ice skater dresses 2 Download|
The contents of the ebook will teach you about ice skater dresses. You will know how to find great deals on various ice skater dresses. If you have more question, visit our website. We have a huge selection of ice skater dresses. This ebook is free and you. Please share it with your figure...
|License: Freeware||Size: 421 KB||Download (68): ice skater dresses 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.
|License: Freeware||Size: 6.22 MB||Download (16): Archive of Formal Proofs Download|
Prom season is here!! Ever wonder what all those gorgeous prom dresses you see would look like on YOU?! It is easy to find out with this new fun fitting room app. Simply take a picture of yourself, pick a dress and try it on. The app comes with over 30 beautiful and stylish dresses that can be...
|License: Shareware||Cost: $3.99 USD||Size: 16 MB||Download (7): Prom Dresses Fitting Room Download|
Event Dresses is a guide to getting awesome outfits that fit any occasion, from prom/metric dance, wedding gowns, brides maids dresses, red carpet dresses and cocktail parties outfits. Also get a link see more designs from various designers in the link provided. Requirements: Windows Phone 8.1,...
Platforms: Windows Phone
|License: Freeware||Size: 1024 KB||Download (7): Event Dresses Download|
This application is a simple yet powerful reference and quick-help tool for the basics of formal wear for men. The app links the user to relevant and helpful demonstrations from dedicated Youtube channels. Requirements: Windows Phone 8.1, Windows Phone 8
Platforms: Windows Phone
|License: Freeware||Size: 2 MB||Download (7): Men's Formal Attire Download|
E-mail Commander is a portable mail software application that does not require any kind of formal installation onto a computer's permanent storage device to be executed, and can be stored on a removable storage device such as a USB flash drive and used on multiple computers.
|License: Shareware||Cost: $49.95 USD||Size: 1.76 MB||Download (305): Email Commander Download|
Pizzicato Light helps you to learn music and to start using a music software. It is a perfect companion to a formal music course in a music school or college (it helps you to read the notes for pitch and rhythmic justness, for various exercises and music theory). Write and print small scores (up...
|License: Shareware||Cost: $21.00 USD||Size: 47.12 MB||Download (174): Pizzicato Light 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...
|License: Freeware||Size: 795 MB||Download (83): 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...
|License: Freeware||Size: 5.17 MB||Download (72): 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...
|License: Freeware||Download (71): 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...
|License: Freeware||Size: 11.2 MB||Download (75): Coq Download|
Deductions is educational software designed to help students learn proofs in formal logic. It is intended to be used by instructors and students of college-level logic courses in philosophy, mathematics and computer science. It gives immediate feedback at each stage of a proof, provides hints...
|License: Freeware||Size: 6.2 MB||Download (61): Deductions for Mac OS 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...
|License: Freeware||Size: 1024 KB||Download (29): QuickRev Download|