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...

System to organize training and contests by ACM rule.

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

A word game quiz program written in Ruby, useful for players of popular word games and anagrammers.

The Austrailian ICA05 IT training package in a MySQL database with a web front end. If you're a web master or developer, the souce code is availa...

Interpreter jxc4?zyka C# w jxc4?zyku JAVA Interpreter of language C# in JAVA

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...

Bluetooth key adalah kunci elektronik yang menggunakan ponsel xefxbc?bluetoothxefxbc? untuk membuka kunci (hanya berupa simulasi lampu LED)melalui per...

A project that seeks to generate test cases and send malformed BGP packets to a router.

Portal, calendar and reservation system for Usability Lab (Czech Technical University in Prague).