OSI-Approved Open Source (78)
- GNU General Public License version 2.0 (46)
- GNU Library or Lesser General Public License version 2.0 (17)
- BSD License (8)
- MIT License (4)
- Apache Software License (2)
- Eclipse Public License (2)
- Mozilla Public License 1.1 (2)
- Apache License V2.0 (1)
- Artistic License (1)
- GNU General Public License version 3.0 (1)
- Qt Public License (1)
- wxWindows Library Licence (1)
- Public Domain (3)
- Other License (1)
- Linux (81)
- Grouping and Descriptive Categories (77)
- Windows (62)
- Mac (55)
- BSD (39)
- Modern (31)
- Android (8)
- Other Operating Systems (7)
- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
A collection of machine-checkend mathematical proofs27 weekly downloads
Lots of small projects: games, VST plugins, experimental IRC server, ROM hacking tools, net tools, font tools, html tools, etc. Browse CVS!
HOL is a system for proving theorems in Higher Order Logic. It comes with a large variety of existing theories formalising various parts of mathematics and theoretical computer science.90 weekly downloads
Confluence is a functional programming language for digital logic design.
This project collects tools created by members of the Internet Hosting Cooperative to aid in management of a shared Internet server. Different tools target different audiences, including Internet/UNIX experts and newbies. They should be useful to any g
IsaPlanner is a collection of reasoning tools: a proof planner for Isabelle, implementing a Rippling based inductive theorem prover; theory synthesis tools for Isabelle; an open-graph based tool for reasoning about quantum information (quantomatic);3 weekly downloads
Belle is a generic higher order theorem prover in the style of Isabelle.
The aim of this project is to produce a software that will content two modules : - the first one will allow to conduct simulations of social behavior, - the second one will be able to produce philosophical considerations. The version version will be i1 weekly downloads
The DUML project is 3 sub-projects: 1) Document Update Markup Language (DUML) which allows for updates of the DOM via server markup 2) Interpreted Application Markup Language (IAML) which provides markup based widgets. 3) A set of common libraries (JAS).1 weekly downloads
The Ivory Programming Language: A modern language for systems programming
PHP/Mysql based Guild website portal for world of warcraft guilds. It will provide the guild with a place to maintain member information, professions, dkp, forums, raid planner / signups, guild bank items etc.
From the XML definition of your database, DewDrop will generate clean and human-readable SQL DDL code for any supported target database. This means you can define your database just once in XML, and have it work for any database automatically.12 weekly downloads
MyPhpMoney is a tool written in PHP to manage bank accounts thru a web interface. It uses mysql to store data and relies on PHPLIB (template, session and database abstraction).38 weekly downloads
hazel aims to be a practical programming language for development of large software projects. Its application domain is similar to that of C++. Its syntax is similar to that of C.
Native code compiler for Standard ML 97 and associated libraries and tools.1 weekly downloads
A library which provides the same functionality as the Python/C API detailed at python.org, thus allowing objective caml programmers to provide python modules as native ocaml code, as well as allowing ocaml code to use python extensions.1 weekly downloads
This project is a lightweight server written in Ocaml for highly interactive webpages or even online browser based games. The server can already be used as a fast frontend to a MySQL database. The software should work on *nix and windows.1 weekly downloads
mGTK is glue code to make GTK+ accessible from Standard ML. This provides a convenient way for SML programmers to add GUI features to applications. mGTK should work on all platforms where both Moscow ML and GTK+ are supported.1 weekly downloads
This project is focused on development of computational tools for the unfolding and visualization of medial temporal lobe structures based on high-resolution magnetic resonance imaging (MRI) images. Click on the Home Page link above for more information5 weekly downloads
A modern, full-fledged Point-of-Sale system created and extensible under the Mozilla framework. Targeting small to large businesses and enterprises, we aim to use open internet standards in creating a truly modern point of sale system.28 weekly downloads
The Appropriate Software Foundation exists to contribute to the usage and development of software appropriate to the information flows within global civil society.
This project is for credit in UIUC's CS327 Software Engineering class. This is a class scheduler written in ocaml and python, using a web interface. The feature list will be decided as the project progresses.1 weekly downloads
Podium is a set of PHP scripts and files for managing and displaying Web-based slide presentations. Inspired by, and partly based on, the 'pres' system used internally by the PHP group. Podium takes care of presentation so you can worry about content.
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 organisation2 weekly downloads
PsiLAB is an environment for scientific research, numerical calculations and generic data analysis. It's written in the functional language O'CaML.1 weekly downloads