Featured 

Constraint Logic Programming

Software
PHP Function Reference
free rating
4
Andrew Hedges
PHP Function Reference provides fast lookup of information about the PHP...
about the PHP web programming language
Crystallized
rating
4
Jiří Bury
Crystallized is a logic game about color mixing in crystals. The goal is to get all crystals white. The application...
Crystallized is a logic game...logical thinking, brain activity, and intelligence. The program
Harbour
free rating
4
Harbour Project
Harbour is the open/free software implementation of a cross-platform, multi-threading, object...
threading, object-oriented, scriptable programming language, backwards compatible
BOSSA
free rating
4
ShumaTech
BOSSA is a flash programming utility for Atmel's SAM family of flash...
is a flash programming utility for Atmel's...basic functionality necessary to program the SAM device's
Syntaxic
free rating
3
k-partite LLC
Syntaxic is an editor which supports a wide range of programming languages...
supports a wide range of programming languages. Main Features
Kodable
rating
3
SurfScore, Inc.
Kodable is designed to teach computer science to elementary students grades K-5...
Kodable is designed to teach computer science to elementary students grades K-5
GAmuza
free rating
3
Emanuele Mazza
GAmuza is a software for learning creative programming in a easy way, designed to cover the common needs in creative coding...
a software for learning creative programming in a easy way, designed
Red Johnsons Chronicles
rating
2
Microids
Red Johnsons Chronicles is a game app about analyzing clues and using your logic to complete...
clues and using your logic to complete investigations
Squeakbit
free rating
2
Squeak Project
Squeak is an open-source Smalltalk programming system with fast execution environments for all major...
an open-source Smalltalk programming system with fast execution
ChIDE
rating
1
SoftIntegration, Inc.
ChIDE is the most user-friendly Integrated Development Environment (IDE) for beginners to learn computer...
beginners to learn computer programming in C/C...and explain difficult programming concepts such
Safe at Last!
rating
1
MARBLESOFT
Marblesoft took a classic logic game and adapted it specially for players...
Marblesoft took a classic logic game and adapted
WitangoStudio
rating
1
Tronics Software LLC
It is designed specifically to optimize developers' productivity in building and deploying...
), Database Acquisition Logic (dealing...External Data Acquisition Logic (dealing
IMROMPTU
free rating
1
moso
IMROMPTU is an OSX programming language and environment for composers, sound artists, VJ's and graphic...
is an OSX programming language...in live or interactive programming. Impromptu
BandToLogic
rating
1
com.web42
BandToLogic is a tool to extract the Logic song data out of GarageBand bundles. Open a GarageBand...
a tool to extract the Logic song...and it will create a Logic song
Prover9-Mace4-v05B
free rating
1
mccune
Prover9 is an automated theorem prover for first-order and equational logic...
order and equational logic, and Mace4 searches...Otter prover. The program comes
Lost Head
rating
1
Diesel Puppet, Alawar
Lost Head is a 2D puzzle logic game for Mac computers. Using realistic physics...
Head is a 2D puzzle logic game for Mac computers
Adobe ExtendScript Toolkit
free rating
1
Adobe Systems Inc.
This scripting center provides access to the ExtendScript Toolkit, a complete integrated development...
development environment (IDE) for programming ExtendScript. It also provides
MacOSXLinPro (Lion)
rating
1
MINDTech.
Easy to use linear programming engine solver using the simplex algorithm...
Mixed-Integer Linear Programming (MILP)...variables and constraints
Assembly
rating
1
Electronica
Assembly is an application designed to help you learn the assembly language. The program includes video training...
assembly language. The program includes video training...most high-level programming languages, which
RubyCocoa
free rating
1
Rubycocoa
RubyCocoa is a framework for Mac OS X that allows Cocoa programming...
OS X that allows Cocoa programming in the object-oriented