Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 32.390.795 Times

Formal freeware
Filter: All | Freeware | Demo
Display by: Relevance |  Downloads |  Name

Formal

1 2 3 4 5 > 
Added: October 03, 2010 | Visits: 585

ToscanaJ 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...



Platforms: *nix

License: Freeware Size: 1.6 MB Download (78): ToscanaJ Download

Released: September 27, 2012  |  Added: September 27, 2012 | Visits: 372

Universal Grammar Editor 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,...





Platforms: Windows

License: Freeware Download (31): Universal Grammar Editor Download

Added: August 24, 2013 | Visits: 212

Archive of Formal Proofs 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.


Platforms: *nix

License: Freeware Size: 6.22 MB Download (17): Archive of Formal Proofs Download

Released: October 06, 2013  |  Added: October 06, 2013 | Visits: 121

Men's Formal Attire 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

Added: July 09, 2010 | Visits: 733

Klikit-Linux 0.1-5b 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...


Platforms: *nix

License: Freeware Size: 795 MB Download (83): Klikit-Linux 0.1-5b Download

Added: August 27, 2013 | Visits: 668

Community Z Tools 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...


Platforms: *nix

License: Freeware Size: 5.17 MB Download (72): Community Z Tools Download

Added: January 11, 2010 | Visits: 839

Virt-Factory 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...


Platforms: *nix

License: Freeware Download (71): Virt-Factory Download

Added: January 25, 2010 | Visits: 537

Coq 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...


Platforms: Mac

License: Freeware Size: 11.2 MB Download (75): Coq Download

Released: September 03, 2012  |  Added: September 03, 2012 | Visits: 377

QuickRev 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...


Platforms: Windows

License: Freeware Size: 1024 KB Download (29): QuickRev Download

Released: November 08, 2012  |  Added: November 08, 2012 | Visits: 318

Chef uniforms 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...


Platforms: Windows

License: Freeware Size: 1.02 MB Download (27): Chef uniforms Download

Released: July 10, 2012  |  Added: July 10, 2012 | Visits: 230

alf Alf is a collection of tools for experimenting with Formal Languages. Alf is portable and easy to use. It has been developed at Politecnico di Milano.


Platforms: Windows, Mac, Linux

License: Freeware Size: 27.39 KB Download (30): alf Download

Released: July 15, 2012  |  Added: July 15, 2012 | Visits: 267

Cataquavice Framework A openArchitectureWare based Generator for deriving a WS-Agreement document from a formal description of a (Web-)Service and its associated assertions (SLO) to Quality Of Service (QoS). You can use predefined QoS parameters as well as introduce new ones.


Platforms: Windows, Mac, Linux

License: Freeware Size: 116.58 MB Download (27): Cataquavice Framework Download

Released: June 17, 2012  |  Added: June 17, 2012 | Visits: 262

CoreASM The CoreASM project focuses on the design of a lean executable ASM (Abstract State Machines) language, in combination with a supporting tool environment for high-level design, experimental validation and formal verification of abstract system models.


Platforms: Windows, Mac, Linux

License: Freeware Size: 573.63 KB Download (27): CoreASM Download

Released: September 27, 2012  |  Added: September 27, 2012 | Visits: 261

Hilbert II - QEDEQ In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet. Logic and set theory started.


Platforms: Windows, Mac, Linux

License: Freeware Size: 7.16 MB Download (27): Hilbert II - QEDEQ Download

Released: October 03, 2012  |  Added: October 03, 2012 | Visits: 249

MACOW. Mandatory AC on Open Worlds MACOW is a formal and scalable mandatory access implementation suitable on open worlds such as the provided on Semantic Web, Autonomic Computing and Coaltions and Federations scenarios. It is able to access control on distributed systems.


Platforms: Windows, Mac, Linux

License: Freeware Size: 491.77 KB Download (27): MACOW. Mandatory AC on Open Worlds Download

Released: December 20, 2012  |  Added: April 29, 2014 | Visits: 463

Lurch Software for teaching and learning mathematical proofs Where most mathematical proof software concentrates on formal logic (or some other specialty area of mathematics), Lurch aims to be truly general-purpose, with an attracitve user interface.


Platforms: Windows, Mac, BSD, Linux

License: Freeware Size: 18.49 KB Download (47): Lurch Download

Released: December 05, 2012  |  Added: December 05, 2012 | Visits: 201

OGRE - OmniGraph REwrite System Omnigraphs are a formal extension of hypergraphs with the ability of edges to connect to multiple nodes and edges. This project hosts the Ogre compilers.


Platforms: Windows, Mac, Linux

License: Freeware Size: 542.24 KB Download (29): OGRE - OmniGraph REwrite System Download

Added: May 10, 2013 | Visits: 241

RODIN Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of refinement to represent systems at different abstraction levels and the use of mathematical proof to verify consistency between refinement...


Platforms: Windows, Mac, *nix, Java, BSD Solaris

License: Freeware Download (28): RODIN Download

Released: October 19, 2012  |  Added: October 19, 2012 | Visits: 258

Simorg: artificial organizations model Agent based model of organizations considering the interplay between the formal hierarchical structure and the process network emerging while the organization performs a task-set.


Platforms: Windows, Mac, Linux

License: Freeware Size: 3.79 MB Download (27): Simorg: artificial organizations model Download

Released: October 17, 2012  |  Added: October 17, 2012 | Visits: 396

TemaTres Web application for management formal representations of knowledge, thesauri, taxonomies and multilingual vocabularies / Aplicacion para la gestion de representaciones formales del conocimiento, tesauros, taxonomi­as, vocabularios multilingues


Platforms: Windows, Mac, Linux

License: Freeware Size: 1.23 MB Download (29): TemaTres Download

1 2 3 4 5 >