Browse

OS OS

  • More...
    • More...

Category Category

License License

    • More...

Translations Translations

  • More...

Programming Language Programming Language

  • More...

Status Status

  • More...

Audience Audience

User Interface User Interface

    • More...
  • More...

Database Environment Database Environment

Freshness Freshness

Top Apps

  • The First VoIP Communications Cloud in the World The First VoIP Communications Cloud in the World Icon
    The First VoIP Communications Cloud in the World Icon

    The Smarter Business Phone Solution

    • Powerful Unified Communication Features
    • Fast, Easy, Free Setup & Install
    • Trusted by 47,000+ Companies in 100 Countries
  • Reduce Support Costs with TeamSupport’s B2B helpdesk Reduce Support Costs with TeamSupport’s B2B helpdesk Icon
    Reduce Support Costs with TeamSupport’s B2B helpdesk Icon

    Improve customer satisfaction with powerful and easy to use helpdesk software built specifically for business to business customer support.

    We do what you do – business software – so we get it. Customer support is critical to any business and as a B2B provider you not only need to manage contacts and tickets, you need to understand your business relationships at a customer level. TeamSupport is the only helpdesk software built for B2B and made to scale with you as you grow.
    • Easy to Use and Fully Customizable to Your Business
    • Relational Customer Database and Best in Class SLAs
  • MLton Icon

    MLton

    A whole-program optimizing compiler for Standard ML

    MLton is a whole-program optimizing compiler for Standard ML. MLton generates small executables with excellent runtime performance, utilizing untagged and unboxed native integers, reals, and words, unboxed native arrays, fast arbitrary-precision arithmetic based on GnuMP, and multiple code generation and garbage collection strategies. In addition, MLton provides a feature rich Standard ML programming environment, with full support for SML97 as given in The Definition of Standard ML (Revised), a number of useful language extensions, a complete implementation of the Standard ML Basis Library, various useful libraries, a simple and fast C foreign function interface, the ML Basis system for programming with source libraries, and tools such as a lexer generator, a parser generator, and a profiler.

    Downloads: 117 This Week Last Update: See Project
  • 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.

  • 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: 31 This Week Last Update: See Project
  • PsiLAB

    PsiLAB is an environment for scientific research, numerical calculations and generic data analysis. It's written in the functional language O'CaML.

    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: 13 This Week Last Update: See Project
  • 2018 Thomson Reuters Top 100 Global Tech Leaders 2018 Thomson Reuters Top 100 Global Tech Leaders Icon
    2018 Thomson Reuters Top 100 Global Tech Leaders Icon

    See how tech-sector leadership is being redefined in today’s complex business environment.

    21st century technology-sector leadership requires not only optimal financial performance but also attention to many other factors, including management and investor confidence, risk and resilience, legal compliance, innovation, environmental impact, social responsibility, and reputation. Successfully managing these areas may determine which tech companies have the fortitude to succeed in the future. Here’s to those that made the list.
    Who are today’s top global tech leaders?
    Read the report
  • Freenet Liberator

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

    Downloads: 10 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: 9 This Week Last Update: See Project
  • Particle Swarm (PSO) Toolbox

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

  • 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: 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).

  • Focus on your Business with an integrated Business Cloud Focus on your Business with an integrated Business Cloud Icon
    Focus on your Business with an integrated Business Cloud Icon

    Reliable & Secure Business Phone Systems

    • No contracts, no cancellation fees, over 40 features
    • 99.999% financially backed uptime SLA
    • Free, expert support, certified by J.D. Power
  • 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: 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.

  • 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
  • Quick Pinger

    QuickPinger is a command line based pinger which is very easy to use(just launch it).Dial up connections get automatically disconnected by their service provider ,when dormant .Quick pinger solves the problem.Created by Vivek Narayanan

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

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

    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
  • MODS FR

    MODS FR is a repository for french documentation and tools relating to MODS. First, it help librarians to convert UNIMARC records to MODS (XML) metadata. This tool is an XML stylesheet that read MARCXML files produced by a tool like MARC4J.

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

    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.

    Downloads: 0 This Week Last Update: See Project
  • Appropriate Software Foundation

    The Appropriate Software Foundation exists to contribute to the usage and development of software appropriate to the information flows within global civil society.

    Downloads: 0 This Week Last Update: See Project
  • Appropriate Website Factory

    It is the ambition of this project to create and support a process for civil society organisations to maintain effective websites that is as simple as possible, but no simpler.

    Downloads: 0 This Week Last Update: See Project
  • BLAS and LAPACK for OCaml

    This library provides OCaml-interfaces to the BLAS- and LAPACK libraries.

    Downloads: 0 This Week Last Update: See Project
  • Backstab database engine

    Backstab is a free database engine construction set for OCaml.

    Downloads: 0 This Week Last Update: See Project
  • Belle

    Belle is a generic higher order theorem prover in the style of Isabelle.

    Downloads: 0 This Week Last Update: See Project
  • BibliosView

    BibliosView is a Delphi/Kylix and FlashMX 2003 GUI for unriccio\\\\\\\'s Biblios. Probably WebService compatibility will be added...

    Downloads: 0 This Week Last Update: See Project
  • Confluence

    Confluence is a functional programming language for digital logic design.

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

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

No, Thank you