Browse

OS OS

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

Category Category

    • 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

  • CRM / Lead Management / Marketing Automation CRM / Lead Management / Marketing Automation Icon
    CRM / Lead Management / Marketing Automation Icon

    More than just software – it’s a solution customized specifically for your business. We strive to give customers exactly what they want.

    Don’t sign a long-term contract. At LeadMaster we earn your business every day with a month-to-month agreement. Solutions start at just $500 for the first month and $150/month after that for up to 3 users. Additional users are always available, again month-to-month. For the last 20 years we’ve helped people from virtually every industry increase sales by automating & improving their sales & marketing process and we think we can help you too.
  • Want to improve your MSP’s revenue? Price your services right. Want to improve your MSP’s revenue? Price your services right. Icon
    Want to improve your MSP’s revenue? Price your services right. Icon

    Get the ebook, The Managed Services Pricing Guide 2.0 to get industry best practices on pricing managed services.

    You choose software for your IT business so it makes you money. The margins must be good enough to justify the cost. SolarWinds RMM was priced to give you the margins you need to earn a healthy amount of monthly recurring revenue. Download our all-new Managed Services Pricing Guide 2.0 to find what revenue to expect for your services, including light monitoring, web protection, patching management, backup and more.
  • OCaml Game System

    MLGame is a 2d game library for OCaml built on top of SDL (OCamlSDL). It features sprites, collision, video contexts, high level network, console, input bindings, widgets and video primitives. Currently package includes some simple exaple games, an

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

    banshee-- A toolkit for building constraint-based program analyses

    Downloads: 5 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
  • ggelite

    ggelite aims to be a clone/improvement of the old eighty's game called "elite"

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

    Toss is a program which allows to explore the use of logic and terms in various models. On the static side, you can draw graphs and check their properties, axioms and reductions. Then, on the dynamic side, you can model multi-player games with both discrete and continuous dynamics. You can play the games, generate strategies automatically and analyse possible behaviours with respect to various logic formulas.

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

  • OCaml ExtLib

    A User-supported Extended Standard Library for 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
  • 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
  • OCaml Code Coverage Checker

    Camlp4 extension to check code coverage of any OCaml code

    Downloads: 0 This Week Last Update: See Project
  • Trial SolarWinds Backup and you could receive a free Amazon Echo Dot Trial SolarWinds Backup and you could receive a free Amazon Echo Dot Icon
    SolarWinds Backup provides lightning-quick recovery that can restore business continuity after a disaster. For a limited time only, when you try SolarWinds Backup and store at least 100GB of selected data, you have the chance to receive a free Amazon Echo Dot.
  • ldesigner

    Logic Data Base Designer

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

    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
  • ODT: OCaml Development Tools Icon

    ODT: OCaml Development Tools

    The ODT (OCaml Development Tools) project aims to be like the JDT (Java Development Tools) eclipse plugins. It provides IDE features for OCaml application developments. See more on http://ocamldt.free.fr (tutorial, installation notes and more).

    Downloads: 16 This Week Last Update: See Project
  • coThreads

    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
  • Intercalation Calculus Prover

    An ML-based automated theorem prover for propositional logic making use of an algorithm in the intercalation calculus.

    Downloads: 1 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
  • CompScheme

    CompScheme is a program for algorithmic music composition and stochastic sound synthesis written in Objective Caml (OCaml).

    Downloads: 0 This Week Last Update: See Project
  • XMTC: PRAM-like Programming

    A modest extension to C, XMTC allows representing parallel (PRAM) algorithms as parallel programs, and run XMTC code using a compiler and cycle accurate simulator of the University of Maryland explicit multi-threaded (XMT) many-core architecture.

    Downloads: 37 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: 1 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
  • rezo

    A software for indexing and searching a samba based files sharing network.

    Downloads: 0 This Week Last Update: See Project
  • The PCL Compiler

    PCL-Compiler is a compiler for PCL: a simple Pascal-derived programming language, used for teaching compiler technology in the National Technical University of Athens.

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

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

No, Thank you