OStatic

Molle is a cross-platform prover for modal logic, which exploits the modal semantic tableaux method. It features a very usable graphical interface, wi...

Slick Linux by Cellocity is Based on Fedora Core 5 Source Code. Using the Kernel 2.6.16. with only basic core elements needed to operate. Slick is jus...

Plan to develop a Vedic Mathematics Tutorial. Preferred framework: Qt Preferred language: C++ Platform: GNU/Linux (development speed & functionali...

WSUQ&T is a web-based quizzing system developed for university level physics which includes equation, numerical, multiple choice, short phrase, an...

Dicodess is a software framework for developing distributed cooperative decision support systems. It helps build DSS for mission-critical decision-mak...

The project JPetriNet is a Petri Net modeling, analysis and simulation tool made in Java Programming Language. JPetriNet was previously intended to ai...

Organization 1.0.2 Agenda is an application designed to help you organize not only your time, but also your goals.

JPACS, Java Processor and Cache Simulator, was developed to give a simple and clear tool to simulate a processor with a complete associative memory ca...

A 3D Hypertext authoring system used for Brown University Cave Writing class

The Tinikling Labanotation Editor