Search Results for "linux desktop"

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

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!

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.

ExPo: Exchange Portal is an online financial trading exchange platform designed to run controlled scientific trading experiments between human traders and automated trader robots.

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

An open source chess engine in C, released under the GPL. Compatible with the XBoard and UCI interface protocols to link to a GUI or other chess arbiter.

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.