Ladder Logic Examples

The Discrete Event Calculus Reasoner is an open source program for performing automated commonsense reasoning using the event calculus, a comprehensive and highly usable logic-based formalism. It solves problems efficiently by converting them into satisfiability (SAT) problems. Features: - Comes...



Platforms: Windows, Macintosh, *nix, Mac OSX, Linux, C/C++, BSD Solaris

simple digital logic circuit simulator, using only NAND gates. written as a standalone app for your web browser





Platforms: Windows, Mac, Linux

A java based digital logic simulator, designed to be used as an educational tool. uses a GUI to allow users to quickly and easily create and visualise circuits from simple components. User can create custom components


Platforms: Windows, Mac, Linux

Domino Solitaire (DomiSol) is a puzzle where 28 dominoes are placed to form a rectangle but you do not see their bounds. Your goal is to find these bounds by grouping the domino halves into a correct domino set. A logic challenge. Each game has at least one solution, the game field can be...


Platforms: Windows 98, Windows 2000, Windows XP, Windows Vista

A domino game for the puzzle enthusiast. Combining skill, deduction and fun, DominoLogic is sure to give even the most committed puzzler a challenge. Each game has 28 dominoes that you must link using each domino only once. DominoLogic is a fast, easy to learn domino game with a twist....


Platforms: Windows 95, Windows 98, Windows Me, Windows 2000, Windows XP

Donkey Kong is one of the earliest examples of the platform genre (it is sometimes said to be the first platform game, although it was preceded by Space Panic).Competitive video gamers and referees stress the game's high level of difficulty compared to other classic arcade games. Winning the game...


Platforms: WinXP, Windows Vista, Win7 x32, Win7 x64, Win2000, WinOther, Windows2000, Windows2003, WinServer, WinMobile, Windows CE, Win98, WinME, WinNT 3.x, WinNT 4.x, Win95, Win 3.1x, Windows Tablet PC Edition 2005, Window

iCompositions and Drums on Demand have teamed up to give away a package of free loops for GarageBand, Logic, and Soundtrack. The collection consists of 90 drum loops, 19 'single hit' sounds for applications such as sound effects, and 9 'loop layers' for building your own drum loops. The loops...


Platforms: Mac OS X 10.1 or later

The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques.


Platforms: Windows, BSD, Mac, Solaris, Linux

Takes the logic of our best selling puzzle game BoXiKoN to a new dimension. Carefully fit your eggs into the tray forming lines in three directions at once. The eggs appear in ever increasing complexity of colors, patterns and arrangements. Eggs must be lined up and shipped out before they crack!...


Platforms: Mac OS X 10.3.9 or later

EJOE is a lightweight Java client/server component built to send and receive objects through pluggable (de)serialization mechanisms. EJOE porject offers a high-performance, simple, and clean object request broker (whereby ORB is meant in its natural manner and not in its relation with CORBA),...


Platforms: Linux

A new software synthesizer plugin for Mac OS X running under hosts such as Apple's GarageBand or Logic Pro. The plugin is designed to recreate the sound of analog electronic kickdrum sounds. It offers two synthesis modes, 808 and 909, each with their own, characteristic sound. It goes beyond the...


Platforms: Mac OS X 10.4 or later

Electronic Design Automation (EDA) - Index can be used in the electronic world to keep track of your: Schematic, PCB, Front Plate, Programmable Logic Device numbers. The system is web based, so try the demo and see if you can use it.


Platforms: Windows, Mac, Linux

ETDR EduTainment Done Right is a simple swf based program to teach small kids math through visual examples and contains a heavy emphasis on simplicity


Platforms: Windows, Mac, Linux

Euler is an inference engine supporting logic based proofs. It is a backward-chaining reasoner enhanced with Euler path detection. It has implementations in Java, C#, Python, Javascript and Prolog. Via N3 it is interoperable with W3C Cwm.


Platforms: WinXP, Windows Vista, Windows 7, Windows 7 x64

Sokoban is a logic game in which the Sokoban has to move boxes to targets in a tight maze. Expert Sokoban is a Sokoban game aimed at the expert: moving the pieces is considered a trivial enough task that it doesn't add to the value of the gameplay. The challenge is to work out where to move the...


Platforms: Windows+.NET 2.0

ExpressionOasis is a java based framework for evaluating the various type of expressions like arithmatic, logic expression etc. The framework is flexible enough to define any new grammer rules or operators.


Platforms: Windows, Mac, Linux

Logic series long extension renamer... Renames the long extension made when it bounced audio as the "Split (L+R)" option by Logic series. ExRena rewrites [ .L.aif ] , [ .R.wav ] etc... to [ .L ] , [ .R ].ExRena can rename quickly by Drag&Drop.When Inporting a file to ProTools it can prevent...


Platforms: Macintosh

eXtraWay® XML allows users to directly manage and produce a priority 'Information Unit' XML, with the following key advantages: Intelligibility over time - in spite of how the XML format will change, the objects described from the first version on will always be intelligible in terms of...


Platforms: Windows, BSD, Mac, Linux

This logic game will keep you on your toes. Clear all the blocks to win.


Platforms: Win98,WinME,WinXP,WinNT 4.x,Windows2000,Windows2003

Festival offers a general framework for building speech synthesis systems as well as including examples of various modules. As a whole it offers full text to speech through a number APIs: from shell level, though a Scheme command interpreter, as a C++ library, from Java, and an Emacs interface....


Platforms: Linux