Formal
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 (35): Archive of Formal Proofs 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...
Platforms: *nix
License: Freeware | Size: 1.6 MB | Download (97): 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 (827): 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,...
Platforms: Windows
License: Freeware | Download (54): Universal Grammar Editor 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.
Email...
Platforms: Windows
License: Shareware | Cost: $49.95 USD | Size: 1.76 MB | Download (1036): 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...
Platforms: Windows
License: Shareware | Cost: $21.00 USD | Size: 47.12 MB | Download (342): 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...
Platforms: *nix
License: Freeware | Size: 795 MB | Download (101): 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...
Platforms: *nix
License: Freeware | Size: 5.17 MB | Download (89): 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...
Platforms: *nix
License: Freeware | Download (93): 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...
Platforms: Mac
License: Freeware | Size: 11.2 MB | Download (92): Coq 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...
Platforms: Windows
License: Freeware | Size: 1024 KB | Download (47): QuickRev Download |
Estimate Master is for:
- Any Contractor
- Construction companies
- Landscaping businesses
- Sign-makers
- Plumbers
- Electrical contractors
- Floor-covering specialists
- Retailers
Highlights:
- A database of your customers, estimates, parts, materials, labor rates and formal bids allows...
Platforms: Windows
License: Commercial | Cost: $99.00 USD | Size: 1.68 MB | Download (54): Estimate Master Download |
Logic Minimizer is a special application for simplifying logical expressions, namely Boolean and propositional expressions. 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
License: Shareware | Cost: $22.95 USD | Size: 6.86 MB | Download (520): Logic Min Download |
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 (50): Chef uniforms Download |
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 (51): alf Download |
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 (46): Cataquavice Framework Download |
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 (54): CoreASM Download |
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 (48): Hilbert II - QEDEQ Download |
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 (48): MACOW. Mandatory AC on Open Worlds Download |
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 (72): Lurch Download |