Discover Nintex Workflow Cloud - the fastest, easiest way to improve the way you do business. This state-of-the-art technology - built in the cloud, for the cloud - gives you the ability to create powerful, integrated workflows independent of any single platform. With our intuitive, drag-and-drop workflow design canvas, you can configure and deploy automated business processes with speed and simplicity. Try it today!Sponsored Listing
OSI-Approved Open Source (196)
- GNU General Public License version 2.0 (94)
- GNU Library or Lesser General Public License version 2.0 (45)
- BSD License (31)
- GNU General Public License version 3.0 (17)
- MIT License (14)
- GNU Library or Lesser General Public License version 3.0 (5)
- Academic Free License (3)
- Apache License V2.0 (2)
- Eclipse Public License (2)
- Qt Public License (2)
- Artistic License (1)
- Artistic License 2.0 (1)
- Common Development and Distribution License (1)
- Educational Community License, Version 2.0 (1)
- Fair License (1)
- Public Domain (5)
- Other License (3)
- Linux (204)
- Grouping and Descriptive Categories (147)
- Windows (146)
- Mac (120)
- Android (76)
- BSD (73)
- Modern (71)
- Emulation and API Compatibility (11)
- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
- Programming Language: OCaml (Objective Caml) ×
VSYML is an automated symbolic simulator for VHDL designs.1 weekly downloads
object oriented unit testing framework for ocaml
There's no event quite like OSCON—the best place on Earth to sharpen your skills and discover new techniques, making you better at what you do and igniting your love of all things digital. You'll find everything open source: languages, communities, best practices, products and services. Join us May 8-11 in Austin, TX, and let OSCON ignite your love of all things digital!Sponsored Listing
SCA-project is a collaborative XML doc designer for enterprise end-users based on template/schema forms. End-user app contains rich editing and communication (through secure ftp-like protocol) functions.
CheckFence is a SAT-based formal verification tool that analyzes C code implementing concurrent data types on multiprocessors (concurrent queues, sets etc.) with respect to a selected memory model.
GLCaml is an Objective Caml interface for OpenGL versions 1.1, 1.2, 1.3, 1.4, 1.5, 2.0 and 2.1 plus some platform-independent extensions.17 weekly downloads
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.
Flashdot is a program for generating and presenting visual perceptual experiments that require a high temporal precision. It is controlled by a simple experiment building language and allows experiment generation with either a text or a graphical editor.1 weekly downloads
OCaml bindings for GLPK21 weekly downloads
CamlGI is a web framework build on top of OCamlNet2.19 weekly downloads
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.
Create the php code for flexible database access screens. This can be used to build a complete frontend to a project.
Creen is a reengineering and static analysis tool for ANSI C code. Program structure analysis, slicing and refactoring.
VREng (Virtual Reality Engine) is an Interactive and Distributed 3D Application allowing navigation in Virtual Environments connected over the Internet using Unicast or Multicast if available.
Document Clustering using Fast-Bit candidate generation as described by Tsau Young Lin et al. in a series of research papers.
Simple, lightweight program for plotting 3d paths in realtime with interactive rotation and zoom.
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).1 weekly downloads
The b-calculus musical analysis assistant and data miner
An OCaml wrapper for the Syck YAML tookit.
svgconv is a content tool to convert SVG paths into a C format that can be easily used with OpenVG.
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.1 weekly downloads
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.
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
*** Moved to http://github.com/esumii/min-caml ***
OCaml Lpd is a Line Printer Daemon (LPD) server library written in OCaml. This project moved to OCamlForge https://forge.ocamlcore.org/projects/lpd/