OStatic

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

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

An open source evolution of the GLUT API.

Agda is a system for incrementally developing proofs and programs.

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

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

A Program is a Process, not a Thing. This project is about programming for the fun of it and will contain tutorials, notes, code and tips for learn...

Trull (Triveni UltraLite) is a JavaBeans-compliant component framework for the modular development of event-driven concurrent systems from building bl...

An Ocaml module providing exact arithmetic on real numbers by internally representing them as (eventually infinite) continued fractions.