Showing 223 open source projects for "ocaml"

View related business solutions
  • Build Agents and Models on One Platform Icon
    Build Agents and Models on One Platform

    Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

    Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
    Try It Free
  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
    Start Free
  • 1
    OMF provides an open source OCAML library which unites formal and numerical computations in a single tool. This library provides a common data representation of expressions that lets the user switch painlessly from one world to the other.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    A Forge-like world editor for the AlephOne engine. We have migrated to GitHub for all future releases.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    OCaml-Reins is a data structure library for O'Caml that includes cursor based iterators, a collection of functors to minimize client-side boilerplate, a powerful on-line benchmarking system and Quickcheck style testing infrastructure.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    A collection of modules for the Objective Caml language which focus on application-level Internet protocols and conventions
    Downloads: 0 This Week
    Last Update:
    See Project
  • Compliant and Reliable File Transfers Backed by Top Security Certifications Icon
    Compliant and Reliable File Transfers Backed by Top Security Certifications

    Cerberus FTP Server delivers SOC 2 Type II certified security and FIPS 140-2 validated encryption.

    Stop relying on non-certified, legacy file transfer tools that creak under the weight of modern security demands. Get full audit trails, advanced access controls and more supported by an award-winning team of experts. Start your free 25-day trial today.
    Start Free Trial
  • 5
    This project aims to develop a prototype system that explores how we should re-invision computer system design based on changes in how people get the software that they run, as well as advances in static analysis of software.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    The Virtual Laboratory for Earth and Planetary Materials (VLab) collaborative GRID-based environment. Concentrating on scientific computation workflows and auto-generation of visualization services. http://vlab.msi.umn.edu
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    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: 0 This Week
    Last Update:
    See Project
  • 8
    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: 0 This Week
    Last Update:
    See Project
  • 9
    An OCaml wrapper for the Syck YAML tookit.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Error to trace to log to deploy. One click. No SSH. Icon
    Error to trace to log to deploy. One click. No SSH.

    Catch the cause before the pager goes off.

    AppSignal links every error to the trace, the trace to the log, the log to the deploy that shipped it.
    Free 30 days.
  • 10
    Eclipse Plugin of OCaml
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    Autononous mobile robot programming environment for Robotino.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    A software for indexing and searching a samba based files sharing network.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    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
  • 14
    CamlCSS is an O'Caml SDK to write server-side plugins for a first person shooter game Counter-Strike: Source.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    DigitalEyes is an OCR (Optical Character Recognizer) developed in C/Caml released under GNU GPL by SuM42, as a sophomore project in EPITA.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    svgconv is a content tool to convert SVG paths into a C format that can be easily used with OpenVG.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    McCarthy is an interpreter for a simple, first-order functional programming language which is Turing-complete and can be used as a model of computation.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    OCaml Input/Output interface and the reference implementation.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    This library implements an OCaml client interface for an Oracle database. The library is built on top of the OCCI C++ interface available in Oracle 10g. It is efficient and suitable for processing large volumes of data.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    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: 0 This Week
    Last Update:
    See Project
  • 21
    CT8K is an experimental quantum chemistry program intended to bring state of the art methods to the desktop PC
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    PiET is a verification tool for ten behavioural equivalences for the Pi Calculus.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    Logic Data Base Designer
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    Camlp4 extension to check code coverage of any OCaml code
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    Create the php code for flexible database access screens. This can be used to build a complete frontend to a project.
    Downloads: 0 This Week
    Last Update:
    See Project
Auth0 Logo