OSI-Approved Open Source (86)
- GNU General Public License version 2.0 (42)
- GNU Library or Lesser General Public License version 2.0 (13)
- BSD License (12)
- Artistic License (4)
- MIT License (4)
- Academic Free License (2)
- Apache Software License (2)
- Eclipse Public License (2)
- GNU General Public License version 3.0 (2)
- Mozilla Public License 1.1 (2)
- zlib/libpng License (2)
- Adaptive Public License (1)
- Apache License V2.0 (1)
- GNU Library or Lesser General Public License version 3.0 (1)
- Qt Public License (1)
- Public Domain (6)
- Linux (94)
- Windows (87)
- Grouping and Descriptive Categories (64)
- Android (31)
- Modern (23)
- BSD (15)
- Other Operating Systems (7)
- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
An Objective Caml binding for wxWidgets1 weekly downloads
7TFT is an special XBMC skin for mini TFT´s (Car, xbox additive LCD´s - or portable screens). It works with 1080i reselution also. Special features of the skin are the big headlines/fonts and the 4 corners control.
AWTX is a AWT/Swing extension of XMLX project. It can genrate and optimize AWT/Swing applications with XML specified by XMLX specification. It also has a UI designer to help user design UI easily. For UI event, it uses script engine specified by JSR-223.
The Appropriate Software Foundation exists to contribute to the usage and development of software appropriate to the information flows within global civil society.
The Atom writer is developed to assist the user create an Atom 1.0 standard document which also provides recommended links to user’s FOAF and OTER documents. The Atom writer make use of J2SE, JDom, Rome 0.8, Joda Time and JUD UUID Generator Libraries
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.
OCaml Input/Output interface and the reference implementation.
Confluence is a functional programming language for digital logic design.
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).
the Data Representation and Management Language is designed to provide a simple language for developers to manipulate data and guarantee properties about it. This language is based on SML and C.
IsaScheme is a collection of mathematical theory exploration tools for Isabelle, implementing the scheme-based mathematical theory exploration approach for theory formation.
The Ivory Programming Language: A modern language for systems programming
This project: JCalculator Converted to UML - Uniform Modeling Language
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
The source code and supporting documents for the proofs of the Kepler and Dodecahedral conjectures.
A data manipulation and programming system based on POStiche (protean) objects. It provides the foundation for the Adage project.
"MathML Editor for Flash" is an implementation of MathML editor intended to be used in Adobe Flash applications. This project use "MathML Formula for Flash" project to display the formula. More info you can get from http://www.fmath.info
The MyNOS project aims at developing a new and different operating system, based on high-level languages. MyNOS will be based on the OCaml bytecode interpreter. We'd like to explore microkernel architecture and new language definition too.
Small or experimental software projects developed by Nada Amin
You can basically see everyones whole card.
Objective Caml (OCaml) Elipse Plug-In
OpenDizzy is a tool for stochastic and deterministic simulation of chemical reactions.
PPT2MP4 has the goal to provide sample scripts and documentation to create slide-based presentations following ISO 14496-1 (MPEG-4 Systems Standard).