Browse

OS OS

    • More...
  • More...

Category Category

    • 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

Top Apps

  • 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.
  • Cloud Communications for Remote Teams Cloud Communications for Remote Teams Icon
    Cloud Communications for Remote Teams Icon

    Packed with Features to Support your Businesses Needs

    • 100% uptime, Patented design
    • Simple DIY Setup with Award Winning Support
    • Superior HD audio and video quality
  • CamlGI

    CamlGI is a web framework build on top of OCamlNet2.

    Downloads: 21 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
  • 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
  • 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.

  • SolarWinds is #1 in network monitoring. SolarWinds is #1 in network monitoring. Icon
    SolarWinds is #1 in network monitoring. Icon

    Reduce network outages and improve performance with advanced network monitoring software.

    SolarWinds® Network Performance Monitor (NPM) is the ONLY monitoring solution with NetPath™ for hop-by-hop visibility into your critical paths, on-premises and into the cloud. NPM also features PerfStack™, helping you accelerate identification of root cause by dragging-and-dropping network performance metrics on a common timeline for immediate visual correlation across all of your network data. See why we're the leader. Try it free for 30 days!
  • 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
  • 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
  • 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
  • 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: 5 This Week Last Update: See Project
  • 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!
    Patch On Cloud Now
  • 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 ExtLib

    A User-supported Extended Standard Library for OCaml

    Downloads: 3 This Week Last Update: See Project
  • OCaml Lego Mindstorm library

    This project moved to https://forge.ocamlcore.org/projects/ocaml-mindstorm/ OCaml-mindstorm is a library that enables you to drive Lego mindsotrm NXT bricks from OCaml. Communication with the NXT brick is done through bluetooth.

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

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

    OPath is a physically based rendering system. The renderer takes a scene description written in a simple language describing geometry, materials, lighting and viewing parameters and produces photorealistic, high dynamic range images of the scene.

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

    PacLang is a language for programming Network Processors. It aims to make it easy to write high performance networking applications that are portable across a range of target platforms.

  • PiET: Pi Calculus Equivalences Tester

    PiET is a verification tool for ten behavioural equivalences for the Pi Calculus.

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

    SMOCaml is a server for Stepmania Online written from scratch in OCaml.

    Downloads: 0 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: 0 This Week Last Update: See Project
  • Smithy

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

    A tool to facilitate writing and operating on fully structured, formalised data and functions. It can be used as a powerful parser, functional programming language or logic tool.

    Downloads: 0 This Week Last Update: See Project
  • 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.

  • Previous
  • You're on page 1
  • 2
  • Next

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

No, Thank you