Formal

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.

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

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

CPG is an application for specifying formal language grammars and computing, generating, and simulating the corresponding automatons. It has features which significantly extend those of the lex/yacc and flex/bison tools available on UNIX and Linux operating systems. Requirements: - Qt Library


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

The goal of DAST is to provide a formal, repeatable, reusable process for 'building' a Drupal site using a formal build tool and build language. DAST applies the concept of the software build to creating Drupal sites...Phing build files are syntactically identical to Ant build files and provide...


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

This is useful for making posts look more formal.InstallationUnpack and upload it to the /wp-content/plugins/ directory.Activate the plugin through the 'Plugins' menu in WordPress. Requirements: - WordPress 1.5 up to 2.3.1


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

These files are obsolete. If you wish a more recent version download its from http://forja.rediris.es/frs/?group_id=644The methodology used for programing this utilities are described in the articles: * J.M. And?jar, A.J. Barrag?n, "A methodology to design stable nonlinear fuzzy control systems",...


Platforms: Matlab

This simulation allows students to compare the motion of free falling objects with and without the influence of air resistance. Air resistance is the result of collisions of the object's leading surface with air molecules. On Earth, objects falling through the air usually encounter some sort of...


Platforms: Mac

This interactive simulation shows a stone block lying at rest on an inclined plane. Initially, the component of gravity along the plane surface is exceeded by the force of static friction. The slope of the ramp can be increased or decreased, allowing students to see the exact point when the...


Platforms: Mac

This is a standards-based simulation for grade level 6-9, developed to help students visualize how total energy is conserved in a simple pendulum. It depicts a child swinging on a swing suspended from a stationary point. Students can drag the swing to different heights, then activate the motion....


Platforms: Mac

The Point Charge Forces in One-Dimension model investigates the electric force that one charged particle exerts on another. It is a very simple representation that promotes understanding of Coulomb's Law in three ways: First, students can set the amount of charge on each particle and view vector...


Platforms: Mac

This interactive simulation allows students to explore the concept of electric field in a 2-dimensional situation. Users can place one to five charged particles on the field and move a test charge around the plane. A grid of field vectors can also be activated to show the direction of the...


Platforms: Mac

The Car Race model is a Java-based simulation that will help students visualize the difference between constant velocity and constant acceleration. It features the classic physics scenario in kinematics: a lead car travels at constant velocity on a straight track, while a second car moves from...


Platforms: Mac

This simulation gives students a chance to practice two-dimensional vector addition in an interactive format with immediate feedback. The magnitude and direction of two vectors are given; the students' task is to determine x and y components, length of the two vectors, and the resultant sum....


Platforms: Mac

RegexVisualizer is a free Mac OS X app which will convert a formal regular expression to an ?zA*-NFA and visualizes it in the form of a transition table. RegexVisualizer uses the algorithm described in section 3.2.3 of "Introduction to Automata Theory, Languages & Computation" to create the...


Platforms: Mac

Implementations of all FIPS-approved security functions can be officially validated through the CMVP program, jointly run by the National Institute of Standards and Technology (NIST) and the Communications Security Establishment (CSE). For informal verification, a package to generate a high...


Platforms: Mac

The NERO Character Creator is a desktop NERO character creator and tracker for Windows (or linux). It's designed to make it easy to figure out what you want to do with your character (build-wise, at least). Feature List: Tracks basic information, such as player name, character name, race,...


Platforms: *nix

AceWiki is a semantic wiki that is powerful and at the same time easy to use. Making use of the controlled natural language ACE, the formal statements of the wiki are shown in a way that looks like natural English. In order to help the users to write correct ACE sentences, AceWiki provides a...


Platforms: *nix

geolucidate is a Python library for parsing coordinates in a variety of input formats and returning a link to Google Maps or Bing.This was originally part of a larger project to parse the CADORS National Report (see http://wwwapps.tc.gc.ca/saf-sec-sur/2/cadors-screaq/m.aspx?lang=eng) into an Atom...


Platforms: *nix

Beautiful America Screen Savers - Belingrath Gardens. A series of beautiful pictures taken at Belingrath Gardens, Mobile, Alabama. These formal gardens while perhaps not as well known as some others are some of the finest in the world. Vol.1 of 2.