Savvy Formal Wear

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

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

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

WP Custom Menu Filter Plugin uses a new filter hook in WordPress 3.1 that allows Custom Menus to be filtered. Instead of using the generic CSS {display:none;}, this plugin actually excludes nav menu items from even being created. While it uses the CSS class tag in the Custom Menu to determine...


Platforms: PHP

CCarbonEditText is a PowerPlant Unicode-savvy edit field class, intended to replace LEditText for most uses. It is implemented using the EditUnicodeText control when running under Mac OS X, and using the inline-input variant of the EditText control when running under Mac OS 9 with CarbonLib....


Platforms: Mac

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

Vuze creates and distributes innovative digital media applications that are changing the way people consume media. Our popular peer-to-peer application and media hub has been installed 90 million times in the last 36 months. The Vuze community represents Hollywood's biggest fans and consumers, as...


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

Welcome to the Official Home Page of The LainOS Project. 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: *nix

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