Can't find a software application?
Submit it to OStatic
Click a filter below to apply it to results
In the tradition of Hilbert`s program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathem...
PerlIrcBOT is fully modular IRC bot written in perl.
Complete Java Swing application to manage library materials and material borrowers. Includes a powerful web based search engine to find and reserve ma...
Online Grades is based on the SF project, Basmati. It has all of the same base features plus many new features. OG is a web based grade posting syst...
JPlate is a framework/toolkit to build applications - think of it as the template for application development. The most notable subsystem is the temp...
StormSiren is a personal severe weather monitor that scans and sends short summaries of National Weather Service bulitens for your area to your pager,...
Packetyzer is a network protocol analyzer for Windows, also know as a packet sniffer. It is based on the Ethereal project, but provides a native Windo...
(XSLT transformer/editor) A text editor that allows the loading and editing of an XML document and an XSLT document at the same time. It also can appl...
OpenSHORE is a XML based hypertext repository with a free definable meta model that stores data about and described by documents. The acronym SHORE me...
FreeSMS is a PHP based application to manage an educational facility of teachers and students alike. It is a teacher and student management system pro...