18 Results for all

Can't find a software application?

Submit it to OStatic

Open Source Software - ggi  ggi

GGI stands for General Graphics Interface , and it is a project that aims to develop a reliable, stable and fast graphics system that works everywher...

Open Source Software - gdbi  gdbi

GDBI is a genealogy program integrator. It includes an editor and the lifelines report language. It interfaces to 3 GEDCOM databases: phpGedView, Gen...

Open Source Software - openpoplog  openpoplog

OpenPoplog is a multi-language, incrementally-compiled virtual machine-based development environment with its own extensive teaching and support mater...

Open Source Software - openglut  openglut

An open source evolution of the GLUT API.

Open Source Software - pyparsing  pyparsing

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

Open Source Software - agda  agda

Agda is a system for incrementally developing proofs and programs.

Open Source Software - mase  mase

The MASE project investigates methods to support the coordination and executable acceptance testing of software projects. Keywords: Agile methods, dis...

Open Source Software - stringsearch  stringsearch

The Java language lacks fast string searching algorithms. The StringSearch library provides implementations of algorithms of the Boyer-Moore family an...

Open Source Software - ocamaweb  ocamaweb

OCAMAWEB is a CWEB like literate programming tool written in the OCAML programming language. OCAMAWEB is actually intensively used at MIRIAD Technolog...

Open Source Software - antzwarz  antzwarz

Online game for developers. Program your team of 4 ants (in LISP) that can reproduce and gain experience and fight against another players in differen...

View Page: 12