Browse

OS OS

  • More...

Category Category

    • More...

License License

Translations Translations

  • More...

Programming Language Programming Language

  • More...

Status Status

Audience Audience

User Interface User Interface

  • More...

Database Environment Database Environment

Freshness Freshness

Top Apps

  • Multi-vendor storage monitoring simplified Multi-vendor storage monitoring simplified Icon
    Multi-vendor storage monitoring simplified Icon

    Monitor your multi-vendor storage to help ensure your applications get the performance and capacity they need with SolarWinds® Storage Resource Monito

    SolarWinds Storage Resource Monitor (SRM) gives you multi-vendor storage performance monitoring and alerting to help ensure peak storage performance. Automated capacity planning helps you predict storage shortages, reclaim space, and prevent application outages. SRM integrates with other Orion® Platform products to provide end-to-end visibility into the application stack, and lets you easily troubleshoot performance issues from application to storage.
  • 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
  • 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

  • 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

  • OCamlSDL

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

    Downloads: 44 This Week Last Update: See Project
  • ldap server and client library for Ocaml

    An implementation of the Light Weight Directory Access Protocol in Objective Caml. Both server and client libraries are provided, along with some data manipulation goodies such as a schema checker, and parsers for ldif, ldapurls etc.

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

  • OCaml ExtLib

    A User-supported Extended Standard Library for OCaml

    Downloads: 7 This Week Last Update: See Project
  • ODT: OCaml Development Tools Icon

    ODT: OCaml Development Tools

    The ODT (OCaml Development Tools) project aims to be like the JDT (Java Development Tools) eclipse plugins. It provides IDE features for OCaml application developments. See more on http://ocamldt.free.fr (tutorial, installation notes 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.

  • banshee

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

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

    CamlAL is an OCaml bindings for OpenAL.

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

    CamlOSG is an OCaml bindings for OpenSceneGraph.

    Downloads: 0 This Week Last Update: See Project
  • Decision Procedure Toolkit

    The Decision Procedure Toolkit (DPT) is a system of cooperating decision procedures for answering satisfiability queries. The DPT implementation in OCaml comprises a DPLL-style SAT solver with theory-specific decision procedures.

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

    GNU Keyserver based on SKS

    GNU Keyserver based on SKS but LSB FHS compatible and way faster implementation of patches. We do not provide diff files.

    Downloads: 0 This Week Last Update: See Project
  • Lpd OCaml library

    OCaml Lpd is a Line Printer Daemon (LPD) server library written in OCaml. This project moved to OCamlForge https://forge.ocamlcore.org/projects/lpd/

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

    MazeML est un logiciel de création et de résolution rapides de labyrinthes. Écrit en Objective Caml (OCaml) avec GTK+, il est portable sur de nombreuses plateformes. Il est publié sous les termes de la licence GNU GPL v3.

    Downloads: 0 This Week Last Update: See Project
  • Mini Gosix

    Mini Gosix is a small program that allows you to play Gosix board game (by Pierre Canuel) against a computer opponent. There are selectable difficulty levels and GUI. Program is written in OCaml using TK widgets.

    Downloads: 0 This Week Last Update: See Project
  • OCaml Benchmark

    Moved to https://forge.ocamlcore.org/projects/ocaml-benchmark/ OCaml module to benchmark running times of code. It is inspired by Perl Benchmark.pm.

    Downloads: 0 This Week Last Update: See Project
  • OCaml Rope Library

    This project moved to OCamlForge https://forge.ocamlcore.org/projects/rope/ This library implements ropes for OCaml (it is rich enough to replace strings).

    Downloads: 0 This Week Last Update: See Project
  • OCaml-Java

    The goal of the OCaml-Java project is to allow seamless integration of Objective Caml and Java.

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

    OCamlBoggle implements the well-known game Boggle. It is licensed under the terms of the GNU GPL v3. It is written in OCaml with GTK+ and should thus work with many OS platforms. Its French database contains more than 600 000 entries.

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

    LaTeX editor written in Objective Caml (OCaml) with the GTK+ toolkit. It provides multi-document interface, syntax highlighting, code completion, UTF-8 support, plugins, customizable GUI, regexp-based find and replace and more...

    Downloads: 0 This Week Last Update: See Project
  • OX(ML)

    OX is an XML integration into Objective-Caml, providing XML transducers based on pseudo-tree view. This gives a homogeneous view of XML within OCaml code, and lets users to manipulate such terms like any other ones, without constraint.

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

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

No, Thank you