Solid State Logic

KillDisk Industrial Software is a data sanitization solution designed for data centers and other industrial applications where it's often necessary to wipe multiple hard drives simultaneously. Supporting the parallel erasure of upwards of 100 connected devices, this software is intended to be...

The STP EinsteinSolidHeatBath program simulates the exchange of energy between an Einstein solid and a heat bath. The purpose of this simulation is to determine the properties of a Einstein solid at different temperature T and to compare our results with analytical calculations of the...

A logic game. The game has got two modes: a single mode (a computer places and hides chesspieces for you) and a network mode. In last one you can play with somebody else through a net, by placing your chesspieces for your opponent and guessing his variants. The winner's who will guess...


Platforms: Windows

Mesh To Solid for Rhino is a plug-in for Rhino 2.0 and 3.0. This plug-in gives Rhino to ability to convert a mesh into a solid.A mesh is a useful entity when it comes to defining geometry of an object. However, certain Rhino commands such as boolean operations, offset, extrusion, etc, cannot be...


Platforms: Windows

Do you have two minutes to read about one of the most exciting arcade games currently available for download on the Internet? Then let me start. Many folks like puzzles, but the problem with those is that sometimes thinking too much wears people out. That’s why most of us like "think...


Platforms: Windows

UML State Machine Wizard acts as a Visual C++ Add-in, which provides a UML state machine programming mechanism in portable standard C for embedded systems developing and simulating in Visual C++ developer studio. Just like Visual C++ ClassWizard, UML State Machine Wizard, it runs inside the...


Platforms: Windows

Logic Protect supports all kinds of software activation (including Phone Activation and Software-as-a-Service (SaaS) features) that makes Logic Protect a flexible activation and copy protection tool for any software author and vendor. In minutes Logic Protect can be easily integrated with...


Platforms: Windows

Logic Protect is a reliable license management, anti-piracy, copy protection, and product activation system featuring high level security and protection against illegal software copying and distribution. Logic Protect supports all kinds of product activation (including Phone Activation and...


Platforms: Windows

Ragel State Machine Compiler compiles finite state machines from regular languages into executable C/C++/Objective-C code. Ragel state machines can not only recognize byte sequences as regular expression machines do, but can also execute code at arbitrary points in the recognition of a regular...


Platforms: *nix

Your application lives in a world of asynchronous, unordered events: mouse clicks, timeouts, messages, and OS signals. And you're ready for them. You've carefully designed your objects. You're using robust patterns that facilitate reuse and anticipates future product direction. Your dynamic...


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

State Threads project is a small library for designing scalable Internet applications. The State Threads is a small application library which provides a foundation for writing fast and highly scalable Internet applications (such as Web servers, proxy servers, mail transfer agents, etc.) on...


Platforms: *nix

Language::Zcode::Runtime::State is a Perl module to handle saving, restoring, etc. the game state. restoring Getter/setter: currently in the process of restoring or not? start_machine Start executing the Z-machine. In the normal case (starting a new game, or restarting), this is as...


Platforms: *nix

Math::Logic::Predicate is a Perl module to manage and query a predicate assertion database. SYNOPSIS use Math::Logic::Predicate; $db = new Math::Logic::Predicate; # Enter some predicates into the database $db->add(<


Platforms: *nix

Math::Logic is a Perl module that provides pure 2, 3 or multi-value logic. SYNOPSIS use Math::Logic qw( $TRUE $FALSE $UNDEF $STR_TRUE $STR_FALSE $STR_UNDEF ) ; # 1 0 -1 TRUE FALSE UNDEF use Math::Logic :NUM ; # $TRUE $FALSE $UNDEF -- what you normally want use Math::Logic :ALL ; # All...


Platforms: *nix

Concurrent Hierarchical State Machine (CHSM) is a language system for specifying concurrent, hierarchical, finite state machines (an implementation of "statecharts") to model and control reactive systems. CHSM uses its own statechart specification langauge annotated with either C++ or Java code...


Platforms: *nix

UML::State is an object oriented module which draws simple state diagrams. SYNOPSIS use UML::State; my $diagram = UML::State->new( $node_array, $start_list, $accept_list, $edges ); # You may change these defaults (doing so may even work): $UML::State::ROW_SPACING = 75; # all numbers...


Platforms: *nix

Having worked with IP Filter on Solaris for a few years now, when I work on IP Tables in Linux I come to miss State Top. So I decided to write a version for IP Tables. IPTState is a state top along with a "single run" mode to quickly display states once. IP Tables State has customizable sorting...


Platforms: *nix

Final Fantasy VI Save State Editor project is an editor for Final Fantasy VI characters. Final Fantasy VI Save State Editor is a tool for editing characters in Final Fantasy VI (or III in the USA) saved games. It makes it possible to increase skills, learn spells, gain weapons, and more using...


Platforms: *nix

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

The most important features of this product is the Step-Sequencer Emulation in Logic using the Matrix Editor combined with new EXS24 Step-Sequenzer Sounds and Sliced Drum Kits. In a limited key range you will find muted notes for each 1/16-segment. You can de-mute the notes intuitive and quickly...


Platforms: Mac