Uses Of Automata Theory Machines

The Book Auto Terms (BATS) module automatically assigns terms to book pages based on the selected parent of the book page. Used in combination with the Book and Taxonomy Access Control modules, the BATS module allows a site administrator to automatically assign who can view and edit new content... Platforms: PHP

Save Clipboard Here is a utility that nicely sits in your windows context menu (right click menu), allowing you to load and save the content of the clipboard directly from/to a file. Save Clipboard Here provides two context menu commands: (a) Save Clipboard Here (when right-clicking on a... Platforms: Windows, Windows 7, Windows Server

K3Studio is the universal workbench for 2d/3d modeling, visualization and simulation.The main topic is simulation and visualization of automata networks, but it can be used for diagram drawing, flowcharting, presentation, as a CAD, GIS,... Platforms: *nix

LANOff is a network monitor and shutdown utility which monitors up to four remote computers from a client computer and optionally shuts down the client and specified remote computers when the network fails or the specified computer shuts down. It also supports fixed activation and shutdown... Platforms: Windows

Cyber cafe software - Internet cafe software - Wi-Fi HotSpot Billing - from MyCafeCup is a software for operating Internet Cafe, CyberCafe, Game Center, Gaming Cafe and PC rental shop. It has been designed for use in an Internet coffee shop, although it can be used for intranet PC controlling. My... Platforms: Windows

Yadex project is a Doom/Doom II/Heretic level (wad) editor for X. Yadex is a Doom level (wad) editor for Unix systems running X, including Linux. It supports Doom alpha, Doom beta, Doom, Ultimate Doom, Final Doom, Doom II, Heretic and also, in a more or less limited way, Hexen and Strife. It is... Platforms: *nix

pam_imap is a PAM module that authenticates against a remote IMAP or IMAPS server. pam_imap program supports multiple servers, SSL, password caching, user blacklists (for admin users), and many configuration abilities. Examples of recommended use: 1) A lab of UNIX/Linux machines that would... Platforms: *nix

cxmon is an interactive command-driven file manipulation tool that is inspired by the "Amiga Monitor" by Timo Rossi.The project has commands and features similar to a machine code monitor/debugger, but it lacks any functions for running/tracing code. There are, however, built-in PowerPC, 680x0,... Platforms: *nix

QtSmbstatus is a GUI (graphical user interface) for smbstatus. QtSmbstatus is meant to provide the possibility of administering remote machines. QtSmbstatus was designed as a client/server system secured with SSL. A login and password is required to log on to server (PAM). Qtsmbstatusd ought to... Platforms: *nix

Anonym.OS LiveCD is based on OpenBSD 3.8 with strong tools for anonymizing and encrypting connections. Standard network applications are provided and configured to take advantage of the tor onion routing network. Anonym.OS was first suggested by kaos.theory at Interzone 4 in Atlanta, March of... Platforms: *nix

BDD BuDDy is a Binary Decision Diagram library, with : many highly efficient vectorized BDD operations, dynamic variable reordering, automated garbage collection, a C++ interface with automatic reference counting, and much more. The BDD package presented here was made as part of a PhD project... Platforms: *nix

BlueLava project is a Web/WAP CGI-based x10 interface for home automation. BlueLava is a Web and WAP (CGI-based) x10 interface. Using commandline-based x10 tools as its backend, it allows you to control x10-compliant electronics and x10 modules from within a Web browser or a WAP/WML-enabled... Platforms: *nix

teepeedee provides a fast, single-threaded personal HTTP(S) and FTP server. teepeedee is a small, fast, single-threaded file server. It is very scalable, and can serve multiple files over HTTPS, HTTP and FTP simultaneously, listening on any number of ports and providing entirely different... Platforms: *nix

Icmpenum sends ICMP traffic to potential targets on a network. Introduction: Host enumeration is the act of determining the IP address of potential targets on a network. This can be done in both layer 2 and layer 3. Icmpenum sends ICMP traffic for such enumeration. The ICMP packets supported... Platforms: *nix

GNU CD Input and Control Library (libcdio) encapsulates CD-ROM reading and control. The libcdio package contains a library which encapsulates CD-ROM reading and control. Applications wishing to be oblivious of the OS- and device-dependent properties of a CD-ROM can use this library. Some... Platforms: *nix

IPC::SharedCache is a Perl module to manage a cache in SysV IPC shared memory. SYNOPSIS use IPC::SharedCache; # the cache is accessed using a tied hash. tie %cache, IPC::SharedCache, ipc_key => AKEY, load_callback => &load, validate_callback => &validate; # get an item from the cache... Platforms: *nix

Tie::Gzip is a Perl module that can read and write gzip compressed files. SYNOPSIS require Tie::Gzip; tie filehandle, Tie::Gzip tie filehandle, Tie::Gzip, mode, filename tie filehandle, Tie::Gzip, filename tie filehandle, Tie::Gzip, %options tie filehandle, Tie::Gzip, mode, filename,... Platforms: *nix

DTC-Xen is a Xen dom0 application and SOAP server (with authentication and SSL) through which a Domain Technologie Control (DTC) Web hosting panel can be connected to manage your VMs. It supports remote start, shutdown, and destroy of your virtual machines, as well as SSH login in the physical... Platforms: *nix

MultiTech MT5634ZBA USB v92 Driver is a firmware update (prerelease only) for the MultiTech MT5634ZBA-USB-V92 modem. Although this is not a final release, it fixes a number of problems related to -52 and -54 errors. This is not a widespread problem because these errors are experienced when... Platforms: Mac

zxsp is a simulator for the historic Sinclair ZX home computer families. Main supported platform is Mac OS X. Versions for classic MacOS and old versions of Mac OS X are still available from the zxsp download page.zxsp supports ".sna" and ".z80" snapshot files, ".tap", ".tzx", ".80", ".81", ".o",... Platforms: Mac