Search Results for "linux software"

EYE [1] is a reasoning engine supporting the Semantic Web layers [2]. It performs controlled chaining and it supports Euler paths [3]. Via N3 [4] it is interoperable with Cwm [5]. [1] http://eulersharp.sourceforge.net/README [2] http://www.w3.org/DesignIssues/diagrams/sweb-stack/2006a [3] http://mathworld.wolfram.com/KoenigsbergBridgeProblem.html [4] http://www.w3.org/TeamSubmission/n3/ [5] http://www.w3.org/2000/10/swap/doc/cwm

The sandbox libraries (libsandbox & pysandbox) are an open-source suite of software components for C/C++ and Python developers to create automated profiling tools and watchdog programs. The API's are designed for executing and instrumenting simple (single process) tasks, featuring policy-based behavioral auditing, resource quota, and statistics collecting. The sandbox libraries were originally designed and utilized as the core security module of a full-fledged online judge system for...

QA Assistant is a GNOME-Python program that aids in Quality Assurance. It creates a graphical checklist from an XML description. A reviewer fills in the checklist and then the program outputs a gpg-signed review for submittal to a tracking system.

Revisaid allows you to enter information, including image files, then quizzes you on what you have entered. These quizzes can be saved for future use, and passed on to friends who may also find them useful. It is currently supported on Windows and Linux 2.6+, but in theory should work on any machine with a Python interpreter (and wxPython) installed. Please send feedback/bug reports to revisaid@gmail.com

Software for improving your english vocabulary. Also useful if preparing for GRE, GMAT, SAT or any other vocabulary intensive examinations.

MBDyn_sim_suite is a collection of free pre&post-processing tools and simulation models for the open-source multi-body analysis software MBDyn forming a general purpose simulation environment for structural dynamics with an emphasis on wind turbines.

Limiro is software designed to help pupils as well as teachers. Pupils can use the tool to learn facts. They can practice at home using a flashcard-like exercise mode or simulating a test. Question catalogs can be created with the included editor.

Automated computer program grading solutions designed for trainings on computer languages, data structures and algorithms. See http://openjudge.net for details.

Pobble is a client-server educational-software system, releasing assignments, receiving completed work, and controlling the grading. Releases include a complete working architecture for users, teachers, and admins.

File-Spector is a small, fast and easy to use binary file analyzer and Inspector. It allows the users to format a complete binary file structure and then use it to read any binary file that matches the specified format.

Futures Gateway is a not-for-profit educational project for children (primarily ages 8 - 18) and their families. It uses interactive and collaborative activities, especially Wiki and HTML document and media management software, videoconferencing, chat, b

ATTENTION! ExpTools has been renamed to ExpLab To visit the new homepage click on "Home page".

Institute of Technology, Blanchardstown Computer Science code by the class of 2007-2011 on course BN104. In this project we are open sourcing all of our project work to the public in the hopes it can be reused, built-upon, and used in education.

The Portable Highly Available Sensors (PHASE) project aims at creating an example application that demonstrates the usage of Application Interface Specification service interfaces of the Service Availability Forum.

Praktomat is a web-based manager for programming labs. Students submit programs via the Web; Praktomat automatically compiles, tests and checks them; submissions not meeting the quality criteria are rejected.