JimboVector 3D is a suite of applications and source code which allow 3D application developers to easily implement complex 3D items into their projects. Such items would include character animations and physics, 3D maps, realtime 3D animated cutscenes,
A web application architecture for Objective Caml that enables the creation and management of dynamic content.
Belle is a generic higher order theorem prover in the style of Isabelle.
BibliosView is a Delphi/Kylix and FlashMX 2003 GUI for unriccio\\\\\\\'s Biblios. Probably WebService compatibility will be added...
The Crop Simulation Markup Language (CropSim-XML) is a XML-based framework for the transfer of agricultural crop simulation data between crop simulation users. The backbone of CropSim-XML is an XML document type definition (DTD).
Development of Cross-Media-Invoice XML Specification for Broadcast TV, Radio, Cable, Print and other media
The Eagle automated theorem prover is a system for developing proofs for theorems in predicate logic.
Here we have fun developing software related to embedded extension languages and small languages in many application domains, using existing languages and/or creating new ones.
La finalidad de éste proyecto es crear un software para la escuela. A través del cual se pueda gestionar todas las actividades que se realizen en la misma. Relativas al profesorado, alumnado, asignaturas, etc.
The Java Integrated Build Environment is a build environment that combines XP concepts like Continuous Integration with existing tools like Ant, JUnit, CruiseControl, CVS and Tomcat, to provide the community with a tool to build, test and release software
A data manipulation and programming system based on POStiche (protean) objects. It provides the foundation for the Adage project.
Small or experimental software projects developed by Nada Amin
Objective Caml (OCaml) Elipse Plug-In
The main objective of the ONE project is to enrich Digital Ecosystems with an decentralised negotiation environment and enabling tools that will allow organisations to create contract agreements for supplying integrated services as a virtual organisation
PPT2MP4 has the goal to provide sample scripts and documentation to create slide-based presentations following ISO 14496-1 (MPEG-4 Systems Standard).
Perpetua is an implementation of Haskell and the ML language. Features from scripting languages such as Python will be incorporated to make Perpetua a better general purpose tool. Perpetua is meant to be approachable and well designed.
Protocol Specification Tool is a system for executable specification, verification and rapid prototyping of cryptographic protocols.
SGML DTD for the creation of Bash scripts for iptables configuration
shadowk kernel aim to be a clean portable object micro-kernel. Clean and extensible would be most too important directions for this development.
Meta Language for FM sound synthesis. No modulator limits, a functionnal syntax (like ML)...
C-Prime, or C' in abbreviation, is simply an attempt to add some fun and modern features to C without sacrificing speed or power. We intend to make "down and dirty programming" a "more enjoyable" experience.
TinySemantics is a theme/skin for TinyMCE. Its emphasis is on generating valid XHTML using the WYSIWYG TinyMCE editor. This theme is Text Only and is suitable for use with CMS where presentation has been separated from content.
XMLbase is a new specification/engine for writing databases in pure XML. It is currently incomplete, and is in need of developers. Its key advantage is that you could share database files between applications, and even distribute them over the internet.
What is it:<br> ----------<br> A simulation of a very simplified aunts nest. <br> It is a restricted area (square) fullfill with aunts and rice.<br> Rice is first randomly positionned in the area and aunts will sort it in a unique batch. <br>