Added: April 22, 2010 | Visits: 1.150
Python lambda calculus module project is a simple but full-featured module for exploring lambda calculus. It understands the different types of lambda expressions, can extract lists of variables (both free and bound) and subterms, and can simplify complicated expressions by means of...
Added: May 10, 2013 | Visits: 281
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, Mac, *nix, C/C++, BSD Solaris
Added: August 30, 2008 | Visits: 1.191
A series of solved calculus exercises, with step-by-step shown.
Released: February 24, 2016
Added: March 24, 2016 | Visits: 1.756
Robot4 (tm) is a Robotic Arm Movement program where the arm is moved from a given position to a desired position. The program finds the angles necessary for the desired position. Problem came from NASA. Robot4 is an Inverse Problem example. It wants to solve how to move from starting point...
Platforms: Windows, Windows 8, Windows 7, Windows Server
Added: April 27, 2010 | Visits: 795
Added: September 16, 2010 | Visits: 647
Kxremote is an application to integrate protocols of remote connection made with perlqt. Supports: - xdmcp - vnc - rdp. Kxremote KDE-Apps.org Community Portal for KDE Applications Software Office Multimedia Graphic Network Printing Education Games Development Administration Scientific...
Added: April 11, 2010 | Visits: 908
cupsfax project contains a set of two scripts to integrate a fax server into the CUPS printing system. To send a fax, the user prints it to the designated printer queue. He will then receive a mail with a link to a web form. In this web form, the user may enter additional parameters - most...
Added: November 10, 2010 | Visits: 504
yublib is a simple Python library that allows developers to integrate yubnub into their applications. yubutils project is a grouped project that houses three main downloads. 1. yubController - a GUI front end for yubnub that works on Windows, Linux and OS X. It may also work on other POSIX...
Added: August 24, 2010 | Visits: 624
Lambda project is a Lambda calculus interpreter. It reduces lambda expressions and converts them into the S, K, and I combinators (ext). It has the ability to associate names with lambda expressions (def), load definitions from a file (load), and list current definitions (list). Lambda...
Added: February 15, 2010 | Visits: 1.052
Meteosat is a SuperKaramba theme that integrate latest meteosat image in the desktop. The fetched image is processed by imagemagick (required), to obtain a "soft start border", through png opacity..
Released: August 12, 2012
Added: August 12, 2012 | Visits: 321
CWC Simulator is a C++ implementation of CWC (Calculus of Wrapped Compartments).
This package is basically a rewriting-based calculus for the representation and simulation of biological systems.
Released: October 26, 2012
Added: October 26, 2012 | Visits: 352
Lambda Animator is designed as an accessible and handy application that can be used for demonstrating and experimenting with alternative reduction strategies in the lambda calculus.
Eager languages reduce arguments before function application. Lazy languages reduce arguments, if needed, after...
Released: August 19, 2012
Added: August 19, 2012 | Visits: 514
FxCop Integrator for Visual Studio 2010 is a handy add-in that allows you to integrate stand-alone FxCop 1.36 and 10.0 into Visual Studio 2010.
This extension is easy to use. If you installed FxCop 10.0 to default location, you don't need to change settings.
You can analyze your code by right...
Platforms: Windows, Windows Vista, 7
Released: August 07, 2012
Added: August 07, 2012 | Visits: 318
This project will provide tools that leverage WS-CDL and Pi Calculus to build more robust Service Oriented Architectures (SOA). The tools are now released (and supported) through JBoss Tools (version > 3.2): http://www.jboss.org/tools
Platforms: Windows, Mac, Linux
Added: June 23, 2013 | Visits: 307
This is a jQuery plugin to help developers include and integrate the CKEditor WYSIWYG editor in their projectIt integrates single or multiple CKEditors with the jQuery Form Plugin and enables the content of CKEditor to be submitted via AJAX.It also works with the Validation Plugin.
Added: April 22, 2013 | Visits: 257
A robust function that uses frequency-domain -i/frequency filtering to integrate a function. Edge-tapering is used to minimize aliasing errors.
Added: May 15, 2013 | Visits: 274
The Fuzzy Relational Calculus Toolbox is companion software to the book Fuzzy Relational Calculus - Theory, Applications and Software (with CD-ROM) by Ketty Peeva & Yordan Kyosev, ISBN 981-256-076-9, Advances in Fuzzy Systems Applications and Theory - Vol. 22, World Scientific Publishing...
Added: July 28, 2013 | Visits: 305
The Global Temperature Explorer application demonstrates how to integrate MATLAB GUIs into Excel by writing Visual Basic callbacks that can respond to events generated by the GUI.The application consists of two parts, a COM component generated by MATLAB Builder for .NET, and a Visual Basic class...
Added: May 01, 2013 | Visits: 292
This simple module allows you to easily integrate Help Center Live (FREE from http://www.helpcenterlive.com) into your Joomla site.
Added: April 02, 2013 | Visits: 290
A plugin to easily and quickly integrate the Labs Media Clickheat tracking system in your Wordpress site.