Browse

OS OS

  • More...

Category Category

    • More...
    • More...
    • More...

License License

    • More...

Translations Translations

  • More...

Programming Language Programming Language

  • More...

Status Status

  • More...

Audience Audience

    • More...

User Interface User Interface

    • More...
  • More...

Database Environment Database Environment

Freshness Freshness

Top Apps

  • Compare Cell Phone Plans at Wirefly Compare Cell Phone Plans at Wirefly Icon
    Compare Cell Phone Plans at Wirefly Icon

    You’re probably paying too much for cell phone service. Wirefly compares hundreds of plans to help you save.

    You’re probably paying too much for cell phone service. Wirefly compares hundreds of plans to help you save. Enter what you need (minutes, data, texts) into Wirefly’s innovative plan comparison tools and see your savings instantly.
  • License This HTML5 Speed Test for Your ISP or Network License This HTML5 Speed Test for Your ISP or Network Icon
    License This HTML5 Speed Test for Your ISP or Network Icon

    Are you an ISP or network administrator looking for a reliable, accurate, & affordable HTML5 speed test that works on all devices?

    The SourceForge Speed Test measures Latency/Ping, Jitter, Download Speed, Upload Speed, Buffer Bloat, and Packet Loss. Upon completion, you can view detailed reports about your connection. This HTML5 speed test does not require Flash or Java, and works on all devices including tablets and smartphones. Host on your own infrastructure or use ours. For licensing, inquire today.
  • Overactive Logistics

    Overactive Logistics is a freight forwarding software solution being developed for the cargo transportation industry. It runs in both web based or stand alone modes and provides a graphical user interface with rich client capabilities.

  • Particle Swarm (PSO) Toolbox

    Particle Swarm Optimization toolkit (with GUI) - Allows you to implement PSO algorithm for optimization of engineering/finance/management systems.

  • Structio. Constructing Knowledge in Col

    Structio produces tools and contents with sources of public domain useful for colombian schools and appropriate to be distributed in Internet (e.g sotware, writings, images, sounds and music).

    Downloads: 25 This Week Last Update: See Project
  • HOL theorem-proving system

    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.

    Downloads: 15 This Week Last Update: See Project
  • JavaScript Object Notation

    The JavaScript Object Notation (JSON) is a simple and lightweight data interchange format. This project provides libraries for manipulating JSON objects for various languages. For more information on JSON, visit http://www.json.org/

    Downloads: 14 This Week Last Update: See Project
  • Searching for Affordable Business Phone Service? Searching for Affordable Business Phone Service? Icon
    Searching for Affordable Business Phone Service? Icon

    If you're on the hunt for business phone service that is reliable and budget-friendly, Voice over Internet Protocol (VoIP) is your answer.

    Today's small-to-medium-sized (SMB) businesses and large enterprises are saving on their monthly communications costs by making one simple decision: to switch to a VoIP service solution from their old, outdated Plain Old Telephone Service (POTS). By choosing a new VoIP service, these companies enjoy the flexibility, reliability, call features, and audio quality that only a VoIP service can provide. Plus, they cut their phone bill by up to 70%!
  • open geo coordinates database

    At the current state, opengeodb provide geo coordinates and several other data (city name, zip) mainly for the german speaking area.

    Downloads: 8 This Week Last Update: See Project
  • Gnome DOM Bindings Library

    GMetaDOM is a collection of librares, each library providing a DOM implementation. Each DOM implementation is generated automatically by means of XSLT stylesheets.

    Downloads: 4 This Week Last Update: See Project
  • MP4MENU

    MP4MENU has the goal to make the process of creating Menus - as known on DVDs - following ISO 14496-1 (MPEG-4 Systems Standard) as easy as possible, by providing some sample scripts and documentation

    Downloads: 4 This Week Last Update: See Project
  • Ocaml Curl Library

    The Ocaml Curl Library (Ocurl) is an interface library for the programming language Ocaml to the networking library libcurl. Currently Ocurl requires libcurl 7.9.8 or newer (using older versions may yield compilation errors).

  • Cross-Media Invoice XML Project

    Development of Cross-Media-Invoice XML Specification for Broadcast TV, Radio, Cable, Print and other media

    Downloads: 3 This Week Last Update: See Project
  • Archive of Formal Proofs Icon

    Archive of Formal Proofs

    A collection of machine-checkend mathematical proofs

    The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.

  • Exact arithmetic on continued fractions

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

    Downloads: 2 This Week Last Update: See Project
  • FSD Amoeba

    Fireball (FSD) Amoeba is a distributed operating system. It collects a huge varity of single machines connected over a (fast) network to one, huge computer.It's a full Operating System Distribution. Based on Amoeba,Vrije Universiteit.

    Downloads: 2 This Week Last Update: See Project
  • PCRE-interface for OCaml

    This library interfaces the PCRE-library (Perl Compatibility Regular Expressions) to OCaml.

    Downloads: 2 This Week Last Update: See Project
  • pkt

    XML Universal Packet Archiver (PKT) is a platform independant universal file archiving system with pluggable options for encryption, encoding, compression, parity/RAID protection and more.

    Downloads: 2 This Week Last Update: See Project
  • swiftsurf

    SwiftSurf is an HTTP proxy that lets you do a lot of things. You can spy, filter, and modify the HTTP requests that your browser sends, as well as the answers it receives. Some of its possible uses include filtering ads, limiting access to a specific doma

    Downloads: 2 This Week Last Update: See Project
  • Disposable Phone Numbers

    Disposable Phone Numbers creates virtual telephone numbers that can be activated and deactivated to guard privacy. Callers must enter a valid extension number to be connected. The system can collect caller statistics and support blacklists.

    Downloads: 1 This Week Last Update: See Project
  • Freenet Liberator

    Liberator is the unix guru's cli to the Freenet network, inserting and requesting easily and efficiently.

    Downloads: 1 This Week Last Update: See Project
  • GD4O [gee-dee-for-oh]

    GD4O is an OCaml interface to the GD graphics library. It provides OCaml developers a means to generate and manipulate bitmap images. TrueType fonts and antialiased drawing are supported. GD4O is based on OCamlGD 0.7, developed by Shawn Wagner.

    Downloads: 1 This Week Last Update: See Project
  • HFM (Hippocampal Flat Mapping)

    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 information

    Downloads: 1 This Week Last Update: See Project
  • Pycaml -- Python Embedding API for Ocaml

    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.

    Downloads: 1 This Week Last Update: See Project
  • SGML DTD for iptables

    SGML DTD for the creation of Bash scripts for iptables configuration

    Downloads: 1 This Week Last Update: See Project
  • Standard ML of New Jersey

    Native code compiler for Standard ML 97 and associated libraries and tools.

    Downloads: 1 This Week Last Update: See Project
  • XDuce

    A typed XML processing language that integrates XML schema languages into the type system of the programming language. (XDuce is pronounced "transduce".)

    Downloads: 1 This Week Last Update: See Project
  • phimatex

    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 i

    Downloads: 1 This Week Last Update: See Project
  • Previous
  • You're on page 1
  • 2
  • 3
  • 4
  • 5
  • Next

Get latest updates about Open Source Projects, Conferences and News.

No, Thank you