OSI-Approved Open Source (127)
- GNU General Public License version 2.0 (69)
- GNU Library or Lesser General Public License version 2.0 (24)
- BSD License (15)
- MIT License (7)
- Artistic License (4)
- GNU General Public License version 3.0 (3)
- zlib/libpng License (3)
- Academic Free License (2)
- Apache Software License (2)
- Eclipse Public License (2)
- Mozilla Public License 1.1 (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 (7)
- Grouping and Descriptive Categories (102)
- Windows (102)
- Mac (94)
- BSD (53)
- Modern (45)
- Android (31)
- Other Operating Systems (7)
- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
Lots of small projects: games, VST plugins, experimental IRC server, ROM hacking tools, net tools, font tools, html tools, etc. Browse CVS!
A collection of machine-checkend mathematical proofs22 weekly downloads
aphasia is an advanced scripting language for the web. It features a type-safe core, C++ modules with signatures, an optimizing "compiler", higher-order functions, built-in database support, garbage collection, and more.
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.102 weekly downloads
Frobots is a programmer's robot game. Bots run user-supplied code and fight each other in a two-dimensional arena. Frobots is developed in OCaml and distributed under the GNU General Public License.
Confluence is a functional programming language for digital logic design.
Full-blown Standard ML Compiler2 weekly downloads
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
This project: JCalculator Converted to UML - Uniform Modeling Language
If you need to experiment for free with XMI 2.11 weekly downloads
This project provides a compiler that compiles ML into code suitable for execution on small targets, including embedded ones. The compiler generates both C and Forth.1 weekly downloads
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 Standard ML project supports coordination between different implementations of the Standard ML (SML) programming language by maintaining common tools and resources such as standard test suites.
At the current state, opengeodb provide geo coordinates and several other data (city name, zip) mainly for the german speaking area.27 weekly downloads
HOL4 mechanisation of Martelli and Montanari's paper on linear unification.
Project moved to separate repositories at github: http://github.com/melsman/draw2d http://github.com/melsman/sml-llvm
Logiciel de partage de fichiers pour l'INSA Toulouse (réseau basé principalement sur du VPN)
IsaScheme is a collection of mathematical theory exploration tools for Isabelle, implementing the scheme-based mathematical theory exploration approach for theory formation.
An advanced P2P API focusing on extensibility with intelligent discovery mechanism and satisfying the secure and efficiency requirements.
The Pi Markup Language (PiML) aims at providing an XML based representation format for the description of models encoded in the Pi Calculus. The XML representation of such Pi Calculus models should support model storage, exchange, and coupling.
OpenDizzy is a tool for stochastic and deterministic simulation of chemical reactions.
RE is a fast regular expression library for OCaml. It accepts several syntax (and semantics) for regular expressions: Perl-style, Emacs-style and Posix extended regular expressions.1 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