Search Results for "linux operating system"

Logic Programming and Deductive Database system (Tabled Prolog) for Unix, Mac, and Windows.

Amoeba is a Linux command-line learning program that observes and adapts to the Linux command line storing learned strings and their usage data. It enhances command-line proficiency by capturing command outputs, adapting string lengths, and periodically saving knowledge. Sandboxing is essential for security, and optionally a virtual machine would further isolates it from the host system.

Flora-2 is a powerful knowledge representation and reasoning system designed for building knowledge-intensive applications. It is based on F-logic, HiLog, Transaction Logic, and also supports defeasible reasoning. Applications include intelligent agents, Semantic Web, ontology management, and more. If you use Flora-2 and like it, please acknowledge it in your project!

PUPS/P3 facilitates development of multi-process multi-host computations by providing tools to emulate colonies of homeostatic organisms. It permits persistent computation, homeostatic resource protection, and asychronous interprocess communication.

OpenCity is another 3D city simulator. You can build residential, commercial and industrial zones then supply them with necessary goods and watch them grow up. Version 0.0.6stable is now available for download. Any feature request/bug report is welcome

The Hydroponic Automation Platform Initiative (HAPI) develops and provides hardware and software components for automating food production using hydroponic, aquaponics, and precision agriculture techniques. High-yield production in urban settings is one of the primary goals. Artifacts include hardware design (mainly Arduino-based), firmware, management software and reporting modules.

breve is a free, open-source 3D multi-agent simulation package designed for simulating decentralized systems and artificial life.

Module linux kernel for upload chaosnet protocol into network layer. Server and client programm for share with lisp machine data space. Api interface for make program and service with chaosnet protocol.

A packet dissector driven by machine learning algorithms. You train it to recognize specific types of packets by showing it examples and counterexamples of some packet type, and it will figure out which bits in the packet define it as the type you seek.

This project provides a simple kernel for building distributed agent-based applications. It is based on the idea that the principles underlying dataflow programming are well-suited to design a coordination language for multi-agent environments.

Sakura is a Knowledge Navigator and User Interface for UNIX, which implements HyperMedia and its own windowing and packing system, both in the main program and in an extensive API for Tcl and other languages.

CAMA (Context-Aware Mobile Agents) is a middleware for supporting mobile agents coordination. It is based on Linda-style coordination and provides numerous extentions for interoperability and fault-tolerance. It supports portable platforms such as PDAs.

Zeus Grid is a Grid Computing environment usefull to run systems in heterogenous machines at same time. In this first step, it will only compile, run and collect application results and file storage.

The project is aimed at automatic target following using a camera , a computer vision system and a microcontroller that moves the cam. The project should mainly work under linux and it might be ported into windows,