Savvy Formal Wear

Help Sally spread her salon savvy in this colorful and engaging challenge! Work with Sally to beautify everyone from little old ladies to punk rockers in 10 unique salon locations. Wash, dye, cut, style and more in 50 levels of frantic, but fashionable, fun. Use your earnings to hire helpful...

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.

BSD Appliances that are pre-configured in Virtual Machines so that users who are not BSD savvy can download an use them. An example would be a web server running Apache, SSL, PHP, Ruby, Perl, SQL. All you have to do is download the virtual machine.


Platforms: Mac, BSD

For people who like solitaire but don't want to wear glasses.


Platforms: Windows, Mac, Linux

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

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

GCJ Builder is an Eclipse plugin that integrates GCJ compiler within Eclipse build infrastructure. Make is used to build GCJ enabled projects with the plugin's generated makefile. The plugin offers a configuration panel that enables developers to manage different compiler and linker options...


Platforms: *nix

Gripes (generic roguelike integer programming equipment selector) is a program designed to help the players of Angband (and similar games) to find the optimal equipment to wear, using integer programming techniques.


Platforms: Windows, Mac, Linux

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

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

LainOS is an OpenSource project that seeks to revolutionize the the user experience by bridging the realm between 'Alien Elegance' and Human Usability, and thus create a truly new and unique interface that is user savvy and beautiful.


Platforms: Mac, BSD, Linux

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

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

The Overture project is developing a set of open source Eclipse plug-ins to support the integration of various VDM modelling tools (Vienna Development Method). The aim is to provide support for all existing VDM tools and language dialects.


Platforms: Windows, Mac, Linux

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

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

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

Tockit tries to build a framework for Conceptual Knowledge Processing (CKP) and Formal Concept Analysis (FCA) in Java, using a component-based approach, XML formats and a three-tier architecture.


Platforms: Windows, Mac, Linux

A Java collections framework based on set theory, specifically, from Spivey's work on the Z notation (a formal specification language).


Platforms: Windows, Mac, Linux

GNU Cim is a compiler for the programming language Simula (except unspecified parameters to formal or virtual procedures). It offers a class concept, separate compilation with full type checking, interface to external C routines, an application package for process simulation and a coroutine concept.


Platforms: *nix, C/C++, BSD