OStatic

Statistical ranging for short arc moving object astrometry. Accepts atstrometry in MPC 80 charcater observation format, rates objects on likelyhood t...

Web services components for information currency and information engineering.

PP3 creates celestial charts. It generates resolution independent sky maps of very high graphical quality. They can be used for example as illustratio...

Xdvi is a program for displaying DVI files on the X window system. Xdvik is a variant with hyperlink support and other additions, deployed e.g. in te...

PCP (Pattern Classification Program) is an open-source machine learning program for supervised classification of patterns. PCP is a binary executable ...

GeoScope is a open-source Java toolkit for geographical analysis of IP addresses. Given an IP address, it will tell you the location xe2?? usually wit...

pyparsing is a general parsing module for Python. Grammars are implemented directly in the client code using parsing objects, instead of externally, ...

The Scenario Data Selector is a Perl script that serves up scenario data on the web. Users can browse data and choose to show by value or as growth ra...

Agda is a system for incrementally developing proofs and programs.

Manage your bookmarks and notes anywhere! Simple, extensible and easy-to-use Web-based bookmark management and tree UI tool. Bookmarks are stored as t...