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
|License: Freeware||Download (38): Discrete Event Calculus Reasoner Download|
|License: Freeware||Size: 378 KB||Download (136): Calculus Help Download|
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
|License: Freeware||Size: 3.49 MB||Download (142): Robot4 Download|
|License: Freeware||Size: 2.5 MB||Download (76): Rhino in Spring Download|
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...
|License: Freeware||Size: 7.17 KB||Download (78): Kxremote Download|
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...
|License: Freeware||Size: 16.38 KB||Download (88): cupsfax Download|
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...
|License: Freeware||Size: 40.96 KB||Download (70): yublib Download|
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...
|License: Freeware||Size: 102.4 KB||Download (90): Lambda Download|
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..
|License: Freeware||Size: 45.06 KB||Download (139): MeteoSat Download|
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.
|License: Freeware||Download (51): CWC Simulator Download|
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...
|License: Freeware||Download (72): Lambda Animator Download|
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
|License: Freeware||Download (27): FxCop Integrator for Visual Studio 2010 Download|
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
|License: Freeware||Size: 28.47 MB||Download (28): Pi Calculus for SOA Download|
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.
|License: Freeware||Size: 71.68 KB||Download (19): jQuery CKEditor Plugin Download|
A robust function that uses frequency-domain -i/frequency filtering to integrate a function. Edge-tapering is used to minimize aliasing errors.
|License: Freeware||Size: 51.2 KB||Download (19): Frequency-Domain Integration Download|
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...
|License: Freeware||Size: 61.44 KB||Download (20): Fuzzy Relational Calculus Toolbox, Rel.(Scripts) Download|
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...
|License: Freeware||Size: 3.31 MB||Download (18): Handling MATLAB Events in Excel Download|
This simple module allows you to easily integrate Help Center Live (FREE from http://www.helpcenterlive.com) into your Joomla site.
|License: Freeware||Size: 10 KB||Download (20): Help Center Live for Joomla Download|
A plugin to easily and quickly integrate the Labs Media Clickheat tracking system in your Wordpress site.
|License: Freeware||Size: 10 KB||Download (19): Easy Clickheat Wordpress Intergration Plugin Download|
Integrate ClickTale Customer Experience Analytics into your blog. Get free ClickTale account. Watch actual browsing behavior. Optimize website usabillity. Boost conversion rates. More...Integrate ClickTale Customer Experience Analytics into your blog. 1. Get free ClickTale account 2. Create...
|License: Freeware||Size: 10 KB||Download (18): ClickTale Customer Experience Analytics Integration Download|