Open Source OCaml (Objective Caml) Software - Page 2

OCaml (Objective Caml) Software

Browse free open source OCaml (Objective Caml) Software and projects below. Use the toggles on the left to filter open source OCaml (Objective Caml) Software by OS, license, language, programming language, and project status.

  • Collect! is a highly configurable debt collection software Icon
    Collect! is a highly configurable debt collection software

    Everything that matters to debt collection, all in one solution.

    The flexible & scalable debt collection software built to automate your workflow. From startup to enterprise, we have the solution for you.
    Learn More
  • AestheticsPro Medical Spa Software Icon
    AestheticsPro Medical Spa Software

    Our new software release will dramatically improve your medspa business performance while enhancing the customer experience

    AestheticsPro is the most complete Aesthetics Software on the market today. HIPAA Cloud Compliant with electronic charting, integrated POS, targeted marketing and results driven reporting; AestheticsPro delivers the tools you need to manage your medical spa business. It is our mission To Provide an All-in-One Cutting Edge Software to the Aesthetics Industry.
    Learn More
  • 1
    A User-supported Extended Standard Library for OCaml
    Downloads: 3 This Week
    Last Update:
    See Project
  • 2
    Camomile is a Unicode library for ocaml. Camomile provides Unicode character type, UTF-8, UTF-16, UTF-32 strings, conversion to/from about 200 encodings, collation and locale-sensitive case mappings, and more.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 3
    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
    Downloads: 2 This Week
    Last Update:
    See Project
  • 4
    Downloads: 2 This Week
    Last Update:
    See Project
  • Failed Payment Recovery for Subscription Businesses Icon
    Failed Payment Recovery for Subscription Businesses

    For subscription companies searching for a failed payment recovery solution to grow revenue, and retain customers.

    FlexPay’s innovative platform uses multiple technologies to achieve the highest number of retained customers, resulting in reduced involuntary churn, longer life span after recovery, and higher revenue. Leading brands like LegalZoom, Hooked on Phonics, and ClinicSense trust FlexPay to recover failed payments, reduce churn, and increase customer lifetime value.
    Learn More
  • 5

    MonPoly

    A monitor for MFOTL specifications

    MonPoly is a prototype monitoring tool that checks compliance of log files with respect to policies specified by formulas in MFOTL (Metric First-Order Temporal Logic). An overview of the tool, including its usage and history, can be found under the Files tab: https://sourceforge.net/projects/monpoly/files/monpoly.pdf/download. The tool is developed as part of an academic project at ETH Zurich. Please visit the following link for more details on the project: http://www.infsec.ethz.ch/research/projects/mon_enf. The development repository has moved to https://bitbucket.org/monpoly/monpoly.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 6

    STP

    MOVED TO GITHUB. Code here is STALE.

    THE STP CODE HAS MOVED TO GITHUB. THE CODE HERE IS STALE. PLEASE CHECKOUT THE FOLLOWING WEBSITE: http://stp.github.io/
    Downloads: 2 This Week
    Last Update:
    See Project
  • 7
    Un jeu de coinche, ou belote coinchée.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 8
    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.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 9
    Newspeak is a simplified programming language, well-suited for the purpose of static analysis. The compiler c2newspeak tranforms C programs into Newspeak. Other utilities to manipulate Newspeak programs are also available.
    Downloads: 2 This Week
    Last Update:
    See Project
  • The Most Powerful Software Platform for EHSQ and ESG Management Icon
    The Most Powerful Software Platform for EHSQ and ESG Management

    Addresses the needs of small businesses and large global organizations with thousands of users in multiple locations.

    Choose from a complete set of software solutions across EHSQ that address all aspects of top performing Environmental, Health and Safety, and Quality management programs.
    Learn More
  • 10
    Eclipse Plugin of OCaml
    Downloads: 1 This Week
    Last Update:
    See Project
  • 11
    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
  • 12
    GLCaml is an Objective Caml interface for OpenGL versions 1.1, 1.2, 1.3, 1.4, 1.5, 2.0 and 2.1 plus some platform-independent extensions.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 13
    A collection of tools for formalizing programming languages and compilers, based around the Coq proof assistant
    Downloads: 1 This Week
    Last Update:
    See Project
  • 14
    Integrated development environment for OCaml programming language. It offers a flexible editor with a content type sensitive content assist processor. It provides the possibility to compile and run OCaml projects together with the convenient presentation
    Downloads: 1 This Week
    Last Update:
    See Project
  • 15
    [Kro]bot
    To design a complete, wheeled robot, capable of accomplishing simple tasks, manipulate objects and have human interaction capabilities. Includes electronic board design, firmware and AI programming, computer-robot interaction software and mechanics.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 16
    ant is a typesetting system inspired by TeX.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 17
    coThreads (formerly known as STMlib), is a concurrent programming library for OCaml. It features both high and low level constructors, for both shared-memory and message-passing style concurrency. The library is equipped with a set of source-level and ob
    Downloads: 1 This Week
    Last Update:
    See Project
  • 18

    haxe1s

    New targets for haxe compiler: 1S v 8.x and 7.7

    Modification of the Haxe compiler which adds two compilation targets: 1S Enterprise 8.x and 1S Enterprise 7.7.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 19
    Objective caml to Python binding. It allows creating Python extension modules (*.so) using Objective caml language.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 20
    svgconv is a content tool to convert SVG paths into a C format that can be easily used with OpenVG.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 21
    Starting from various input files, we parse to find a list of addresses, then display them on a map.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    Angstrom

    Angstrom

    Parser combinators built for speed and memory efficiency

    Angstrom is a parser-combinator library in OCaml designed for high-performance applications. It provides monadic and applicative interfaces for composing parsers and supports incremental input processing. ​
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    Alpha roguelike game development framework.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    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
  • 25
    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
MongoDB Logo MongoDB