Browse

OS OS

    • More...
  • More...
    • More...

Category Category

    • More...
    • More...
    • More...
    • More...

License License

    • More...

Translations Translations

  • More...

Programming Language Programming Language

  • More...

Status Status

  • More...

Audience Audience

User Interface User Interface

    • More...
  • More...

Database Environment Database Environment

Freshness Freshness

Top Apps

  • 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!
  • Take Our Survey. We Plant a Tree. Take Our Survey. We Plant a Tree. Icon
    Take Our Survey. We Plant a Tree. Icon

    In honor of Earth Day, HPCC Systems is committed to planting 10,000 new trees across our national forests.

    HPCC Systems is dedicated to the environment and is giving you the opportunity to take action and be a small part of a big impact. In partnership with the National Forest Foundation, HPCC Systems is growing and promoting awareness of environmental sustainability with their 10K Trees Challenge. The best time to plan a tree was 20 years ago. The second best time is now! Take our survey and take part in helping the environment.
  • 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
  • oounit

    object oriented unit testing framework for ocaml

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

    Neural network modeling language

    Downloads: 0 This Week Last Update: See Project
  • McCarthy programming language

    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
  • G-UML

    Programming language and tools allowing: easy code generation for Java,C#,C++,..;verify code correctness and formal properties. The aim is to allow maximum reusability of components(without dependency of language), as well as proving correctness of them.

    Downloads: 0 This Week Last Update: See Project
  • Get the Edge; Toad Edge Get the Edge; Toad Edge Icon
    Get the Edge; Toad Edge Icon

    Your next-gen toolset for MySQL database environments

    If your organization takes advantage of the cost-effective, flexible MySQL open source database platform, then you need a toolset that supports your commitment to open source relational databases.  Toad Edge for MySQL has what you need and helps you ramp up on MySQL quickly, ensuring faster time to value.
  • Antares

    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
  • 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
  • OCAML-RDBMS

    This project models an In-Memory Relational Database Management System (RDBMS) using the paradigms of a Functional Language. In particular, we use a flavor of ML (Meta Language) called OCAML (Objective Caml) to implement a working RDBMS.

    Downloads: 0 This Week Last Update: See Project
  • Data Structure Tester

    Data Structure Tester is an OCaml application for multiple testing of various data structures (also written in other lanages, like C or C++).It proviedes many examples to test, easily configurable tester and signatures for all data structers to be tested.

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

    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
  • Pyramid - The Complete Self-Service Analytics Platform Pyramid - The Complete Self-Service Analytics Platform Icon
    Pyramid - The Complete Self-Service Analytics Platform Icon

    Easily combine data from multiple sources to build dashboards and reports with our scalable solution built for mid-size to enterprise companies.

    Pyramid combines analytic tools often found in separate applications. It features a graphically based ETL to model data and incorporate machine learning algorithms, intuitive data discovery tools that produce simple and advanced visualizations, a presentation builder for creating analytic applications and presentations, and an enterprise-grade report builder—all in a single, integrated platform that can be accessed from any browser or device.
  • 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
  • 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.

  • Translation Directory

    tdir is an LDAP translator, initially it will facilitate easy replication to MS Active Directory, but support for other directories may be added in the future

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

    VSGE is a platform-independent, "very simple" game engine based on the SDL and OpenGL libraries. Using unorthodox technologies when appropriate, it strives to make developing non-trivial games simple and fun.

    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.

  • Xdialog2Ocaml

    This project is a simple interface to the Xdialog tool.

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

    Here we have fun developing software related to embedded extension languages and small languages in many application domains, using existing languages and/or creating new ones.

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

    An Ocaml binding to libusb, a library to access USB devices in user space under various Unix variants

    Downloads: 0 This Week Last Update: See Project
  • GNU digital audio player

    GNUdap is a project to build an userspace driver to interface with proprietary-protocol usb mp3 players and mass storage devices. Currently GNUdap supports the following devices from Perstel,Inc. CHIC MP10, MP30, Symphony and the NGS Jogger from NGS.

    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
  • Filter: An Image Processing Program

    A command-line utility for image processing.

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

    Monod is a computational model inspired by the biology of cells and the implementation of a simulation of this model.  Thinking of proteins as abstract processing units with a rich context leads to an alternative to the Turing / von Neumann architecture.

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

    OCaml-Magic is an OCaml (http://caml.inria.fr/) binding for libmagic (to determine the type of files).

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

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

No, Thank you