Subtraction Rules For Integers

XSemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules) for languages implemented in Xtext. It then generates Java code that can be used in your language implemented in Xtext for scoping and validation (it can also...

The administrator creates default rules for term/type pairings.InstallationUnpack in your modules folder (usually /sites/all/modules/) and enable under Administer > Site Building > Modules. Requirements: - Drupal 5.x

WebCBQ Bandwidth Manager is a Web interface (written in PHP) that let you create, edit and remove rules for cbq.init script. It makes the network traffic management easy under Linux platform. This interface lets a knowless user to manage the client's bandwidth.


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

This programme is an application of the Chinese Remainder Theorem for Integers - for obtaining a solution to the "k-threshold system for sharing a secret". The concept is explained in the book "A course in Number Theory and Cryptography by Neal Koblitz" in Ch 1, Prob 24 / P27 and it's solution in...


Platforms: Matlab

links2world Firewall is a very simple tool writen in C, that helps you generate iptables rules for Linux 2.4.x and newer kernels. Released under GNU General Public License, it is very easy to configure and designed to run on hosts with one or more network interfaces. Most of the existing...


Platforms: *nix

Imagine you forgot to turn your PCs volume down and its sound blasted out late at night. This can definitely disturb people nearby. With Volume Concierge you no longer need to worry or even remember about reducing sound on your computer. Its all done automatically without you involved. Meanwhile,...


Platforms: Windows, Windows 8, Windows 7, Windows Server

InboxRULES can help you to save and print messages, extract data from messages immediately when message arrives to MS Exchange Server mailbox or MS Outlook account. InboxRULES RW is a custom action for MS Outlook Rules Wizard. We also offer server side version of InboxRULES for MS Exchange...


Platforms: Windows

InboxRULES can help you to save and print messages, extract data from messages immediately when message arrives to MS Exchange Server mailbox or MS Outlook account. InboxRULES RW is a custom action for MS Outlook Rules Wizard. We also offer server side version of InboxRULES for MS...


Platforms: Windows, Windows 8, Windows 7, Windows Server

CodeTwo Exchange Rules Pro is a powerful email management software for Microsoft Exchange Server. It allows administrators to easily set server-sided rules for automatic email flow management and email content control on Microsoft Exchange. Its features are: email forwarding, email filtering,...


Platforms: Windows, Other

Auto-Mate for Outlook There's nothing more frustrating than rummaging through a cluttered Inbox full of email messages when you’re looking for specific information. It's easy to let messages pile up in your Inbox and eventually it becomes unmanageable because you don't want to go through...


Platforms: Windows

Auto BCC / CC is an email add-in for Microsoft Outlook that creates a BCC and/or a CC copy automatically every time you send mail. All you need is to create simple rules for filling the BCC /CC fields, and Auto BCC / CC does all other work itself. The Auto CC / BCC plugin can send a BCC /CC for...


Platforms: Windows

FSA::Rules is a Perl module to build simple rules-based state machines in Perl. Synopsis my $fsa = FSA::Rules->new( ping => { do => sub { print "ping!n"; my $state = shift; $state->result(pong); $state->machine->{count}++; }, rules => [ game_over => sub { shift->machine->{count} >=...


Platforms: *nix

FreeMat is a free environment for rapid engineering and scientific prototyping and data processing. It is similar to commercial systems such as MATLAB from Mathworks, and IDL from Research Systems, but is Open Source. FreeMat is available under the GPL license. In addition to supporting many...


Platforms: Mac

FreeMat is a free environment for rapid engineering and scientific prototyping and data processing. It is similar to commercial systems such as MATLAB from Mathworks, and IDL from Research Systems, but is Open Source. FreeMat is available under the GPL license. In addition to supporting many...


Platforms: Windows

This module is for themers who need more control over their page layouts. For some 1 main theme and 1 or 2 stylesheets is enough to theme a drupal website but for power themers we need more control.This module allows you to set rules for displaying CSS stylesheets so as to create a theme that's...


Platforms: PHP

Kajongg is the classical Mah Jongg for four players. If you are looking for the Mah Jongg solitaire please use the application kmahjongg. Kajongg can be used in two different ways: Scoring a manual game where you play as always and use Kajongg for the computation of scores and for bookkeeping....


Platforms: *nix

CryptoLicensing for MFC provides a robust, yet easy way to add licensing, copy-protection and activation capabilities to your MFC, ATL or C++ applications, libraries, components and controls. CryptoLicensing uses the latest military strength, state-of-the-art cryptographic technology to generate...


Platforms: Windows

fwsnort parses the rules files included in the snort intrusion detection system and builds an equivalent iptables ruleset for as many rules as possible. fwsnort accepts command line arguments to restrict processing to any particular class of snort rules such as "ddos", "backdoor", or...


Platforms: *nix

Pieforms project provides a simple, unified way to create, validate and process forms all with a common look and feel, with support for pluggable elements, renderers and validation rules. Huh? What does all that mean? In simple terms, Pieforms provides a library for building HTML forms. So...


Platforms: *nix

Print Agent for Exchange - a solution for Microsoft Exchange Server 2013, 2010, 2007, 2003, which allows to automatically print out the necessary emails and attachments. The product consists of three components - a management console, transport agents, installed on the Exchange server, and one or...


Platforms: Windows Server