Any Windows Software - Shareware and Freeware Download Center for Windows

Top Downloads

New Downloads

Popular Searches

Recent Searches

Latest Reviews

  • Lodgit Desk Hotel Software for Mac   (Arnold)

    I run a small guest house in Nepal where this software is in use for last two years, we felt this is good enough for any...

  • XolidoSign   (Zico)

    Allows me to insert signature on any document automatically before dispatching, other software requires manual instruction.

  • Wurlie   (Tenesy)

    Make unlimited number of short urls with this script without knowing much about processes that take place in background.

  • Start Hotspot   (heltvet)

    You may turn your android phone to a wifi hotspot but your data may be misused unless you have some sort of control over...

  • NCheck Bio Attendance Trial for Windows   (Jeusme)

    The system is implemented in my office premises, it maintains the employees in and out time accurately, helps the accounts...

  • FirePlotter   (Kacper)

    Monitors all in-coming and outgoing traffic to your PC, also shows the consumed bandwidth to calculate internet bill.

  • FolderMill   (Fairyn)

    FolderMill is an automation software which looks for incoming files and send them to printer by filtering as per your...

  • DocuVieware   (Sigfrid)

    Fully featured document viewer which can be added in your page to load and read almost any type files, the software can...

  • Kiosk Software   (Emmerentiana)

    Restricts access to the public computers and kiosks to prevent changes or viruses from affecting it, hence you need no...

  • Vrode Script Editor   (Brochan)

    If you are a script coder you must have gone through some of the popular editors for writing new scripts or editing the...


Formal

Show: All Software | Free Software Only | Mobile Software Only
Universal Grammar Editor

Universal Grammar Editor 0.0

Published: Aug 03, 2012
Universal Grammar Editor is a small, simple, Java based application specially designed to offer you an editor for formal grammars.

Tags: Edit - Edit Formal Grammars - Editor - Formal Grammars Editor - Universal Grammar Editor - View Formal Grammars - Viewer
Price: $0.00 (Freeware) Site: sourceforge.net (Andrej Herich) More info Download






Formal Wear

Formal Wear 1.1

Published: Sep 29, 2014
Formal Wear shows you how to dress up your formal wear in animations. It's a useful tool for you in your life.

Price: $2.99 (Shareware) Size: 2.0 MB Site: appworld.blog.com (ZHEN WEI ZHANG) More info Download




Formal Definition Tool

Formal Definition Tool 1.0

Published: Sep 04, 2012
A Java based, command-line analysis tool for checking the conformance of data streams to the formal definition they are supposed to adhere.

Price: $0.00 (Freeware) Size: 60.2 KB Site: fdtest.sourceforge.net (fdtest.sourceforge.net) More info Download
Archive of Formal Proofs

Archive of Formal Proofs 2011.11.27

Published: May 23, 2012
The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle.

Price: $0.00 (Freeware) Size: 6.4 MB Site: afp.sourceforge.net (afp.sourceforge.net) More info Download
FcaBedrock Formal Context Creator

FcaBedrock Formal Context Creator 2

Published: Aug 18, 2012
FcaBedrock is a tool for creating context files for Formal Concept Analysis.

Price: $0.00 (Freeware) Size: 1.6 MB Site: sourceforge.net (sourceforge.net) More info Download
Managing Health Workers

Managing Health Workers 1.0.0

Published: Nov 09, 2014
Health workers are the largest part of the formal workforce in most countries, yet few of their managers have any formal management training. As a result, the health sector experiences low productivity, low morale, high turnover, and ultimately ...

Price: $0.00 (Freeware) Size: 4.9 MB Site: intrahealth.org (IntraHealth International Inc.) More info Download
Deductions for Mac OS

Deductions for Mac OS 1.3

Published: Jul 02, 2012
Deductions is educational software designed to help students learn proofs in formal logic.

Tags: Deductions
Price: $0.00 (Freeware) Size: 6.2 MB Site: wanderingmango.com (Wandering Mango) More info Download
How to Fold Napkins -- Napkin Folding Guide

How to Fold Napkins -- Napkin Folding Guide 3.0

Published: Sep 29, 2014
How to Fold Napkins -- Napkin Folding Guide...Today, discriminating hosts and hostesses have a wide variety of napkin products from which to select. For formal dining, there is the cloth napkin, the paper napkin being reserved for more informal ...

Price: $0.00 (Freeware) Size: 2.6 MB Site: iphonedown.com (WENLONG SUN) More info Download
Sync G Pro Lite

Sync G Pro Lite 1.2

Published: Nov 05, 2014
Sync G Pro lite is a software by which you can sync your Google friends information to your iPhone contacts.This is a lite version of Sync G Pro. If you want to enjoy all the functionalities of this software, welcome to purchase the formal ...

Price: $0.00 (Freeware) Size: 3.8 MB Site: thumbsoft.blogspot.com (feng min) More info Download
Necktie Deluxe

Necktie Deluxe 1.0

Published: Nov 08, 2014
Dear fellow tie aficionados, this app is for you! Learn over a dozen ways to tie your tie. Experiment with different knots that fit different collar types, face shapes, and formal settings. Learn to care for your ties and prevent wrinkles. ...

Price: $0.99 (Shareware) Size: 17.2 MB Site: portablemonster.com (Portable Monster LLC) More info Download
Email Commander

Email Commander 8.50

Published: Jul 11, 2007
E-mail Commander is a portable email client 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 (see usbspace.com)

Tags: Client - E-mail Commander - Email - Email Client - Email Commander - Email Software - List - Mail - Mail Client - Mail Software
Price: $49.95 (Shareware) Size: 1.8 MB Site: e-mailcommander.com (Email Commander) More info Download
S and H Screensaver

S and H Screensaver 1.0

Published: Sep 25, 2008
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.

Price: $0.00 (Freeware) Size: 1.0 MB Site: sandhuniforms.com (S and H Work Uniforms) More info Download
Logic Minimizer

Logic Minimizer 1.2.1

Published: Sep 09, 2012
Logic Minimizer is an innovative, versatile application for simplifying Karnaugh maps and logical expressions step by step.

Tags: Algebra - Boolean - Circuit - Cnf - Digital - Dnf - Formal - Gate - Implicant - Karnaugh
Price: $22.95 (Shareware) Size: 6.9 MB Site: logicminimizer.com (Vikhetan Appa) More info Download
QuickRev

QuickRev 1.6.0

Published: May 13, 2012
QuickRev is a code review tool which supports formal code review processes for Subversion and ClearCase controlled files.

Tags: Analyze - Analyze Source Code - Code Reviewer - Review - Review Code - Reviewer
Price: $0.00 (Freeware) Size: 1024.0 KB Site: sourceforge.net (Sourceforge) More info Download
Pure Interaction

Pure Interaction 0.0

Published: Jul 09, 2012
Pure Interaction is a formal model on how to encode human-computer interaction.

Price: $0.00 (Freeware) Size: 176 B Site: PureInteraction.sourceforge.net (PureInteraction.sourceforge.net) More info Download
Syspect

Syspect 86.64

Published: Jul 30, 2012
Syspect is a tool to specify a system using UML2 diagramms and translate them into a CSP-OZ-DC specification for formal verification.

Price: $0.00 (Freeware) Size: 54.6 MB Site: syspect.informatik.uni-oldenburg.de (syspect.informatik.uni-oldenburg.de) More info Download
RuleBase to FSDB converter

RuleBase to FSDB converter b.0.1

Published: Jun 12, 2012
A replacement scope script for the RuleBase Formal Verification Tool.

Price: $0.00 (Freeware) Size: 15.8 KB Site: rb2fsdb.sourceforge.net (rb2fsdb.sourceforge.net) More info Download
MatLaCK

MatLaCK 1.0

Published: Jul 02, 2012
This project is a math software, which will help you doing formal calculation on complicated formulae and provides tools such as graphic visualisation.

Price: $0.00 (Freeware) Size: 42.5 KB Site: matlack.sourceforge.net (matlack.sourceforge.net) More info Download
Web of Patterns

Web of Patterns 1.0.0

Published: Apr 07, 2012
Web of Patterns - Formal Descriptions of design patterns using RDF.

Price: $0.00 (Freeware) Size: 13.3 MB Site: webofpatterns.sourceforge.net (webofpatterns.sourceforge.net) More info Download
assimilate

assimilate 1.0

Published: Aug 06, 2012
Assimilate is a Maven2 Plugin that allows developers to import dependencies from other pre-built Maven projects without a formal parent-child hierarchy existing between the projects.

Price: $0.00 (Freeware) Size: 18.8 KB Site: assimilate.sourceforge.net (assimilate.sourceforge.net) More info Download
Ocaml Mathematical Framework

Ocaml Mathematical Framework 0.1

Published: Jul 24, 2012
OMF provides an open source OCAML library which unites formal and numerical computations in a single tool.

Price: $0.00 (Freeware) Size: 370.5 KB Site: ocaml-mf.sourceforge.net (ocaml-mf.sourceforge.net) More info Download
Concept Explorer

Concept Explorer 1.3

Published: Aug 13, 2012
Concept Explorer implements basic functionality, needed for students and researchers in field of Formal Concept Analysis.

Price: $0.00 (Freeware) Size: 1.5 MB Site: conexp.sourceforge.net (conexp.sourceforge.net) More info Download
Conception Collaboration Platform

Conception Collaboration Platform 0.1

Published: Jun 30, 2012
An open source, Web-enabled platform for real-time collaboration in the social construction of shared conceptualisations, supporting the cultivation and curation of semi-formal information structures in an intuitive yet robust way.

Price: $0.00 (Freeware) Size: 259.7 KB Site: conception.sourceforge.net (conception.sourceforge.net) More info Download
Design O Matic

Design O Matic 2009.05.03.2029

Published: May 10, 2012
This is a Perl script (and module set) that converts a formal design specification into a design document, complete with pictures.

Price: $0.00 (Freeware) Size: 44.0 KB Site: designomatic.sourceforge.net (designomatic.sourceforge.net) More info Download
FcaStone

FcaStone 0.3

Published: Jun 16, 2012
FcaStone (named in analogy to "Rosetta Stone") is a tool that translates between different Formal Concept Analysis file formats, as used by ToscanaJ, Galicia, and Conexp, and commonly used graph editors.

Price: $0.00 (Freeware) Size: 36.4 KB Site: fcastone.sourceforge.net (fcastone.sourceforge.net) More info Download
GNUCitizen monkmodel

GNUCitizen monkmodel 0.5

Published: Jun 27, 2012
GNUCitizen "monkmodel" provides formal mechanism for creating generator/transformer/serializer based applications for python.

Price: $0.00 (Freeware) Size: 5.2 KB Site: monkmodel.sourceforge.net (monkmodel.sourceforge.net) More info Download
General Modeling Framework for Eclipse

General Modeling Framework for Eclipse 1.0

Published: Jul 18, 2012
The General Modeling Framework for Eclipse (GMF/E) is a framework usable by language engineers and generally anybody who wants to develop new formal verification methods, and test them using the VIATRA simulator.

Price: $0.00 (Freeware) Size: 168.9 KB Site: gmfe.sourceforge.net (gmfe.sourceforge.net) More info Download
Giac/Xcas/wxCAS

Giac/Xcas/wxCAS 0.8.0

Published: Aug 03, 2012
Free computer algebra system, compatible with existing CAS, as a C++ library with various user interfaces (GUI with formal spreadsheet and exact dynamic geometry, on-line, readline, emacs, texmacs.

Price: $0.00 (Freeware) Size: 5.2 MB Site: xcas.sourceforge.net (xcas.sourceforge.net) More info Download
Griff

Griff 3.0.9

Published: Jun 29, 2012
Griff is a collection of projects including: (i) Sarl3 - Sets and Relations Library for doing Formal Concept Analysis (FCA); (ii) RJL a progamming language combining both static and dynamic typing, and (iv) PIG a simplistic triple store.

Price: $0.00 (Freeware) Size: 102.0 KB Site: griff.sourceforge.net (griff.sourceforge.net) More info Download
ISOLDE

ISOLDE 1.0

Published: Apr 23, 2012
The ISOLDE package (Integration of Systems of Ordinary Linear Differential Equations) is a Maple package for the symbolic resolution of linear differential systems, such as the formal reduction and finding closed-form solutions.

Price: $0.00 (Freeware) Size: 783.9 KB Site: isolde.sourceforge.net (isolde.sourceforge.net) More info Download

Formal

software tags:

a - b - c - d - e - f - g - h - i - j - k - l - m - n - o - p - q - r - s - t - u - v - w - x - y - z - #
© 1997-2015 ShareMe Last Update: Thursday, December 14, 2017 shareme | contact | notice | privacy | bookmark | link to us

Welcome to the ShareMe. Shareme is a dedicated internet portal bringing users the latest shareware & freeware from the world's best Software Authors. Shareme allows Shareware & Freeware Authors to submit their latest wares, so you the user are able to download their latest software updates all the time, after they are released! Always visit Shareme for your software needs.