PEP is a modeling and verification framework for parallel systems. It provides a large number of different modelling languages (e.g. SDL, B(PN)^2, Petri nets, Process algebras and Finite Automata), and verification techniques (e.g. reachability and temporal logic model checking). Due to its Tcl/Tk-based GUI, PEP is easily extensible to other analysis or specification tools. The framework offers fully integrated simulation and debugging features on all levels.
Yin Yang is a real-time Linux file scanner that is activated whenever a file is accessed. When a file opening system call is detected, it will send the full pathname of the file to a network daemon. The network daemon will then pass the pathname of the file to a file scanner, such as an anti-virus scanner, and return the status. The status will then be reported back to the network daemon, and the response will be passed back to the system call. The default action logs a message to the system logger. The file scanner is wrapped with the original file opening system call, so it will open the file normally after the file scanning.
Rambutan is a set of end-user applications software that assists a system analyst in the gathering and categorization of facts for a requirements specification document. In its current state, the product consists of two programs that perform similar functions. A handheld application is used to gather facts in the client's site while a desktop application is used to edit and further refine the requirement statements in the analyst's office. Both applications allow the user to enter, modify, and display data that make up a requirements specification document.
My Handy Restaurant is software created to help restaurant waiters and managers in their job. Waiters can choose a restaurant table, assign orders to it and have them automatically printed on printers. "Normal" dishes can also be modified, by adding or removing ingredients. Bills can be printed automatically, even for separated bills. The accounting section allows a restaurant manager to easily administrate the whole accounting (bank accounts, employees, suppliers, income) in an easy way. Stock management is also available, and items quantity is automatically updated. The interface is handheld-sized and is written to be compatible with most handheld browsers.
PPort is a simple yet handy automation program and its documented counterpart for interfacing a PC with external electronic devices. Using its two programs, a daemon and a client, it aims to control external apparatus by reading and writing through common computer ports. Using this bundle, one can successfully control any household appliance or electronic device with minimal hassle and practically no changes.
KVortaro is a tool to translate words from one language into another. The word to translate can be selected by clicking on a word anywhere on the desktop; a small window will then pop-up close to the mouse pointer and show the translation. Enclosed are dictionaries for Esperanto-German and English-German.