Browse

OS OS

    • More...
  • More...

Category Category

    • More...
    • More...

License License

    • More...

Translations Translations

Programming Language Programming Language

  • More...

Status Status

  • More...

Audience Audience

User Interface User Interface

  • More...

Database Environment Database Environment

Freshness Freshness

Top Apps

  • C++Builder: 1 codebase, 1 UI designer, 4 platforms. C++Builder: 1 codebase, 1 UI designer, 4 platforms. Icon
    C++Builder: 1 codebase, 1 UI designer, 4 platforms. Icon

    The best visual IDE for creating fast performance native apps across platforms. Start today a 30-Day trial (no credit card needed).

    Modern C++, standards-compliant with enhanced language extensions, beautiful native UI tools, and cross-compilation to Windows, macOS, iOS and Android. We provide the ‘full stack’ for native app development, from database to native and flexible UI to REST and more. If you want crossplatform C++ done right - choose the Complete App Platform for Multi-Device Native Development - Choose C++Builder.
  • Discover server and application network dependencies Discover server and application network dependencies Icon
    Discover server and application network dependencies Icon

    Discover and troubleshoot application dependencies to determine if it’s an application or network problem with SolarWinds Server & Application Monitor

    Server & Application Monitor helps you discover application dependencies to help identify relationships between application servers. Drill into those connections to view the associated network performance such as latency and packet loss, and application process resource utilization metrics such as CPU and memory usage. Determine if process utilization or network performance is affecting the application and end-user performance.
  • camomile

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

    CamlGI is a web framework build on top of OCamlNet2.

    Downloads: 25 This Week Last Update: See Project
  • GEM library

    A set of very optimized tools for indexing/querying huge genomes/files. Provided so far: a very fast exact mapper, and an unconstrained split-mapper

    Downloads: 15 This Week Last Update: See Project
  • O'Caml Reins

    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: 8 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.

  • Identify and respond to threats before damage is done Identify and respond to threats before damage is done Icon
    Identify and respond to threats before damage is done Icon

    A SIEM that makes it easy to use logs for security, compliance, and troubleshooting.

    SolarWinds® Log & Event Manager (LEM) delivers comprehensive Security Information and Event Management (SIEM) capabilities in a highly affordable, easy-to-use, and quick-to-deploy virtual appliance. LEM provides the visibility, security, and control that IT professionals need to alert on and respond to security threats, and assist in meeting the regulatory compliance guidelines of HIPAA, PCI DSS, SOX, and more. Try it FREE for 30 days!
  • The MTASC Community Fork

    MTASC is an open-source (GPLv2) ActionScript 2.0 compiler developed by Motion-Twin Technologies (http://www.mtasc.org/). Motion-Twin no longer releases updates to MTASC though. This project is a community fork of MTASC with new improvements.

  • OCaml ExtLib

    A User-supported Extended Standard Library for OCaml

    Downloads: 4 This Week Last Update: See Project
  • SPEmatic

    SPEmatic is an interpreter for SPE-style string-rewrite rules meant for use by students and instructors in introductory courses on phonological theory (a subfield of linguistics that deals with how sounds function in the grammars of natural languages).

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

    *** Moved to http://github.com/esumii/min-caml ***

    *** Moved to http://github.com/esumii/min-caml *** MinCaml: An educational compiler from a tiny ML subset to the SPARC or PowerPC assembly language; Only 2000 lines of Objective Caml, but almost as efficient as---or even more efficient than---OCaml and GCC!

    Downloads: 2 This Week Last Update: See Project
  • Jekyll

    Jekyll is a high level programming language that can be translated to and from readable, editable C, thus allowing it to be used in C projects.

  • ManageEngine now lets you patch computers from cloud ManageEngine now lets you patch computers from cloud Icon
    ManageEngine now lets you patch computers from cloud Icon

    ManageEngine Patch Manager Plus offers patching capabilities on cloud - Patch all OS updates and 550 third party apps on-demand and stay secure!

    Last year saw the hackers unleash their expertise in skills for a ransom - targeting those unpatched computers in data-critical institutions. Only if the computers were patched on time, billions of dollars could have been saved. ManageEngine’s Patch Manager Plus comes to your rescue, offering you an automated patching solution, now on cloud, for latest hotfixes of Windows updates and a wide range of third-party applications (over 550 of them).
    Automate patching with Patch Manager Plus, sit back & relax!
    Try FREE Trial
  • 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: 1 This Week Last Update: See Project
  • AsciiMation Generator

    AsciiMation Generator is an ascii-art animation generator. Asciimation is created from a specific programming language and using specified sprites. AMGenerator is an interpreter written in OCaml.

    Downloads: 0 This Week Last Update: See Project
  • Blast Software Verification Tool

    The Blast Software Verification Tool

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

    CT8K is an experimental quantum chemistry program intended to bring state of the art methods to the desktop PC

  • Camlexif

    Camlexif is an Exif parsing library entirely written in Objective Caml (OCaml).

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

    Cellular Automata simulator. Native code (fast) and modular design: update rule, topology, time, measurement, initialization are independant. No GUI (for now...): configuration file (commented default automatically generated) overridable by command line.

    Downloads: 0 This Week Last Update: See Project
  • CodeTime Parallel Software Platform

    The CodeTime platform covers every aspect of parallel software from authoring, through distribution, to run-time. Its goals are: high programmer productivity; write once, run high performance anywhere; and wide acceptance.

    Downloads: 0 This Week Last Update: See Project
  • Delimited overloading

    A syntax extension to ease the writing of efficient arithmetic expressions in OCaml. The development moved to OCaml Forge: http://forge.ocamlcore.org/projects/pa-do/

    Downloads: 0 This Week Last Update: See Project
  • Filter: An Image Processing Program

    A command-line utility for image processing.

    Downloads: 0 This Week Last Update: See Project
  • Galaxy Invaders

    Galaxy Invaders is a online multiplayer game. It consists of a series of different levels and challenges, each more difficult than the last, where the player must evolve amoung and against the other hostile connected player.

    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
  • Kicad Ocaml OBSOLETE

    The project has moved! see http://code.google.com/p/kicadocaml/ Kicadocaml is a small project that reads and writes Kicad board (*.brd) files produced by Kicad's pcbnew software. Currently, the software consists of an OpenGL gui & a tool to allow ar

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

    LIPS is an easy-to-use command line interpreter for the lambda-calculus. It supports different evaluation strategies, a trace-mode, abbreviations and typing. Furthermore LIPS allows to export interpreter-sessions to a user-definable format (e.g., LaTeX).

    Downloads: 0 This Week Last Update: See Project
  • LTL3 tools

    A collection of tools that can be used to generate monitors ("watchdogs") from LTL formulae. This is known from the area of runtime verification. For more information, see the associated project homepage.

    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
  • Previous
  • You're on page 1
  • 2
  • 3
  • Next

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

No, Thank you