Browse

OS OS

  • More...

Category Category

    • More...

License License

    • More...

Translations Translations

  • More...

Programming Language Programming Language

  • More...

Status Status

  • More...

Audience Audience

User Interface User Interface

  • More...

Database Environment Database Environment

Freshness Freshness

Top Apps

  • Rapid Development Environment like no other! Rapid Development Environment like no other! Icon
    Rapid Development Environment like no other! Icon

    89% of Our Customers Reduced Development Cycles Using RAD Studio. Start today a 30-Day trial (no credit card needed).

    RAD Studio™: Build cross-platform apps ridiculously FAST!  The top challenges customers solved with RAD Studio while developing applications include: Creating fast runtime application performance (50%), Keeping up with latest platforms and devices (50%), Meeting project deadlines (37%), Deploying to multiple platforms (36%) and Responsive design for multiple device types (27%).
  • Pyramid - The Complete Self-Service Analytics Platform Pyramid - The Complete Self-Service Analytics Platform Icon
    Pyramid - The Complete Self-Service Analytics Platform Icon

    Easily combine data from multiple sources to build dashboards and reports with our scalable solution built for mid-size to enterprise companies.

    Pyramid combines analytic tools often found in separate applications. It features a graphically based ETL to model data and incorporate machine learning algorithms, intuitive data discovery tools that produce simple and advanced visualizations, a presentation builder for creating analytic applications and presentations, and an enterprise-grade report builder—all in a single, integrated platform that can be accessed from any browser or device.
  • savonet Icon

    savonet

    Audio and video streams generator

    Audio toolkit for streaming, aiming at complex Internet radio and video systems. Our stream generator is highly extensible and flexible. Script based, it can be a fully automatic daemon streamer, but is also used for live shows with an user-friendly GUI.

  • MLDonkey

    MLDonkey is a multi-platform multi-network peer-to-peer client.

  • CIL (C Intermediate Language)

    CIL (C Intermediate Language) compiles C programs into a simplified subset of C and assists with program analysis and transformation.

  • pdfsandwich

    pdfsandwich generates "sandwich" OCR pdf files, i.e. pdf files which contain only images (but no editable text) will be processed by optical character recognition (OCR) and the text will be added to each page invisibly "behind" the images. pdfsandwich is a command line tool which is supposed to be useful to OCR scanned books or journals. It is able to recognize the page layout even for multicolumn text. Essentially, pdfsandwich is a wrapper script which calls the following binaries: convert, unpaper, tesseract, gs, and hocr2pdf (if tesseract < 3.03). It is known to run on Unix systems and has been tested on Linux and MacOS X. It supports parallel processing on multiprocessor systems. In contrast to most competing sandwich programs, it performs preprocessing of the scanned images, such as de-skewing or removal of dark edges etc. For further information please read the manual: http://www.tobias-elze.de/pdfsandwich/index.html

  • OCamlSDL

    OCamlSDL is an OCaml interface to the SDL (Simple DirectMedia Layer) library.

    Downloads: 54 This Week Last Update: See Project
  • Ranked ‘Best App’ Password Manager by Apple and Google Ranked ‘Best App’ Password Manager by Apple and Google Icon
    Ranked ‘Best App’ Password Manager by Apple and Google Icon

    Still writing down passwords? Or rotating between a handful that you can remember? Not safe! Get Dashlane, It’s FREE!

    With all the accounts you have, remembering every single password is impossible. Dashlane protects your passwords and creates an easy, secure way to access all of your accounts on any device you own.
  • OCaml FFTW

    OCaml interface to FFTW3 -- the Fastest Fourier Transform in the West! (http://www.fftw.org/). The code is developed at https://github.com/Chris00/fftw-ocaml

  • OCaml Magic

    OCaml-Magic is an OCaml (http://caml.inria.fr/) binding for libmagic (to determine the type of files).

    Downloads: 41 This Week Last Update: See Project
  • WideStudio

    WideStudio is an Integrated Development Environment (IDE) for building window applications in C++, Ruby, Python an Perl for Windows, MacOSX, Linux, FreeBSD, SOLARIS and other unix and BTRON and T-Engine. This is open and free (under MIT/X Consortiun Lice

  • ocaml-glpk

    OCaml bindings for GLPK

    OCaml bindings for the GLPK (GNU Linear Programming Kit) library for solving linear programming and mixed integer programming problems.

  • banshee

    banshee-- A toolkit for building constraint-based program analyses

    Downloads: 4 This Week Last Update: See Project
  • Develop killer analytical applications Develop killer analytical applications Icon
    Develop killer analytical applications Icon

    Try the Yellowfin analytics platform, built for developers.

    Yellowfin provides developers with the tools to easily build stunning analytical applications. Connect and blend multiple data sources and deploy onto any environment at scale, with access to hundreds of web services to integrate as you need. Yellowfin offers industry leading capabilities that are trusted by thousands of organizations globally. Try Yellowfin for free to see how easily you can develop killer analytical applications.
  • Database File System

    Database File System; Actually do not think of it as a file system, instead think of it as a document system. And while being precise, it is not database system either, it is a faceted system, It helps to organizes your information nicely.

    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.

  • LSS/ASS

    The project is to develop an application for the general management of virtual networks with Dynamips, VirtualBox, PixEmulator, UML, Zebra, etc.

    Downloads: 2 This Week Last Update: See Project
  • The Acheron Limbo Compiler

    This is a port of the Dis virtual machine system to POSIX-compatible operating systems, based on the original Inferno sources, including a Limbo compiler. The port is intended to make the virtual machine and runtime environment more general and easily ex

    Downloads: 2 This Week Last Update: See Project
  • Data Structure Tester

    Data Structure Tester is an OCaml application for multiple testing of various data structures (also written in other lanages, like C or C++).It proviedes many examples to test, easily configurable tester and signatures for all data structers to be tested.

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

    Flashdot is a program for generating and presenting visual perceptual experiments that require a high temporal precision. It is controlled by a simple experiment building language and allows experiment generation with either a text or a graphical editor.

    Downloads: 1 This Week Last Update: See Project
  • GNU digital audio player

    GNUdap is a project to build an userspace driver to interface with proprietary-protocol usb mp3 players and mass storage devices. Currently GNUdap supports the following devices from Perstel,Inc. CHIC MP10, MP30, Symphony and the NGS Jogger from NGS.

    Downloads: 1 This Week Last Update: See Project
  • Lambda Tamer

    A collection of tools for formalizing programming languages and compilers, based around the Coq proof assistant

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

    image2matrix is a command line utility that takes an image file as an argument and returns a numeric matrix containing the color values of each pixel.

    Downloads: 1 This Week Last Update: See Project
  • Another Roguelike In Development

    Alpha roguelike game development framework.

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

    Antares provides a client and server for a turn based space-themed strategy game. Rules are modular, and the default rules (and the client look and feel) resemble Stars! very closely. It is written in OCaml using the Tk binding.

    Downloads: 0 This Week Last Update: See Project
  • Arcade Mass Conspiracy

    a.m.c. is a project aimed to produce arcade games in functional languages, mainly Ocaml, and to test functional languages possibilities in game programming and in general

    Downloads: 0 This Week Last Update: See Project
  • Caml Community Code

    A set of tools for the Objective Caml language build and maintained by the OCaml community.

  • CamlAL

    CamlAL is an OCaml bindings for OpenAL.

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

    CamlGoBot is a computer go program using the GTP protocol and written in OCaml. Its main goal is to be used as a bot on the KGS go server.

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

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

No, Thank you