A Bird Singing With A Radio In A Cage

Our goal is to develop a full working solver for ATA (with 1 clock) in Python, with MTL to ATA support. The decidability for the emptiness problem was proposed by Lasota and Walukiewicz. The MTL to ATA was proposed by Ouaknine and Worrell.

This is a group of makefile scripts and templates that helps the developer and end-user to configure, update, and build Allegro/AllegroGL/etc projects, on many platforms, and with different compilers, in a easy way (just type 'make' and it will work).

Archimedes will be a Computer Aided Design (CAD) program developed side by side with architecture offices in order to fulfill all their needs. This way, we hope to develop software better suited for architects than the currently widely used AutoCAD.


Platforms: Windows, Mac, Linux

This software is used to keep encrypted records of 'accounts' for betting with fake money in any type of game (eg cards) It has a compound interest feature, where account holders' balance is compounded daily at 1%. It manages bets made during games.


Platforms: Windows, Mac, Linux

A number of classes that help with common tasks in an application. Currently focused on input and output to/from files. First class is a buffered version of Java's RandomAccessFile class.


Platforms: Windows, Mac, Linux

A java MUD server, designed from the ground up with OO principals in mind. Based off of Leibnizs monad school of philosophy.


Platforms: Windows, Mac, Linux

JavaScript Object Graph for Java is a library designed to simplify working with JSON objects in Java code.


Platforms: Windows, Mac, Linux

jWorship is a worship song presentation program, to be used with video projectors in churches. It features remote setup of services and remote control during services. It is written in Java.


Platforms: Windows, Mac, Linux

A lightweight library for robotics, developed with overhead minimization in mind. See http://robotics.dei.unipd.it/~fabiodl/ for the description of some applications.


Platforms: Windows, Mac, BSD, Linux

A web based count-down timer that can run independently or as a master with multiple slaves in different locations. Programmable sequences count down consecutively. Ability to display messages. Developed for conferences, speaker time-left display.


Platforms: Windows, Mac, Linux

Pentaho tightly couples data integration with business analytics in a modern platform that brings together IT and business users to easily access, visualize and explore all data that impacts business results. Use it as a full suite or as individual components that are accessible on-premise in the...


Platforms: Windows, Mac, Linux

The Picture Metadata Toolkit (PMT) provides a common object-oriented API to metadata associated with or stored in digital image files. PMT also allows metadata to be read or written in XML. Metadata definitions are expressed through XML Schema.


Platforms: Windows, Mac, BSD, Linux

SaD Edition Modume : Stand-alone Documents Edition Module, is a generic module (for CMS/BLOGS) writen in PHP that provides read and edit richt text documents with attachements stored in one file to the WWW users.


Platforms: Windows, Mac, Linux

A collection of utilities to help further Torah study, currently made up of two projects: 1) Daf test learn to associate the text of a Daf with its location in Shas 2) Gemarah charts a chart with a list of all of the Dafim found in each Mesechta


Platforms: Windows, Mac, Linux

In a HTML text, some "special characters" (letters with accents used in some languages, signs like € etc...) might be incorrectly displayed on the web if they are not "encoded". For instance the character é must be replaced by the series of characters é. Doing all these boring changes is...


Platforms: Mac

Conquer the Magic Academy’s inhabitants using yummy meals spiced with superb spells in Magic Sweets, a fun Time Management game! Help Dino, a tiny baby dragon, and his mistress cook up some exquisite food and delicious pastries as you master the culinary crafts. Work like mad to keep your...


Platforms: Mac

Mondriaan appears as a little icon with four colors in the upper right corner of your Mac OS X menu bar. You click on each of the four colors to get to each set of bookmarks through a menu. Clockwise, this is: Favorites: white, Explore:red, Friends:blue, FTP Servers:yellow. Use Control-Click on...


Platforms: Mac, URL Manager Pro

This script takes a UNICODE string and replaces Latin-1 characters with something equivalent in 7-bit ASCII and returns a plain ASCII string. This function makes a best effort to convert Latin-1 characters into ASCII equivalents. It does not just strip out the Latin-1 characters. All characters...


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

NcasterCMS is a content management system built with flexibility & speed in mind. By adding custom fields, advanced article relation ability's you are free to taylor ncaster to any type of site be it a game site that needs a detailed hub of the game information followed by links to reviews,...


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

This script provides user interaction with images saved in a .SVG format. What's New in This Release: - Several minor fixes, including a rewrite of the getScreenTCM()


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