- Programming Language: OCaml (Objective Caml) ×
Top Apps
- Audio & Video
- Business & Enterprise
- Communications
- Development
- Home & Education
- Games
- Graphics
- Science & Engineering
- Security & Utilities
- System Administration
Showing page 1 of 8.
-
MLDonkey MLDonkey is a multi-platform multi-network peer-to-peer client.
633 weekly downloads -
savonet Audio and video streams generator
284 weekly downloads -
WideStudio WideStudio is an Integrated Development Environment (IDE) for building window applications in C++, Ruby, Python an Perl for Windows, MacOSX, Linux, FreeBSD, SOLARIS and other unix and BTRON and T-Engine. This is open and free (under MIT/X Consortiun Lice
58 weekly downloads -
GPU Flame Fractal Renderer Renderer for flam3 cosmic recursive fractal flames implemented on GPU. Requires a CUDA-capable graphics card.
41 weekly downloads -
CIL (C Intermediate Language) CIL (C Intermediate Language) compiles C programs into a simplified subset of C and assists with program analysis and transformation.
25 weekly downloads -
pdfsandwich pdfsandwich generates "sandwich" OCR pdf files, i.e. pdf files which contain only images (but no editable text) will be processed by optical character recognition (OCR) and the text will be added to each page invisibly "behind" the images. pdfsandwich is a command line tool which is supposed to be useful to OCR scanned books or journals. It is able to recognize the page layout even for multicolumn text. Essentially, pdfsandwich is a wrapper script which calls the following binaries: convert, cuneiform, gs, and hocr2pdf. It is known to run on Unix systems and has been tested on Linux and MacOS X. It supports parallel processing on multiprocessor systems. For further information please read the manual: http://www.tobias-elze.de/pdfsandwich/index.html
32 weekly downloads -
ocaml-glpk OCaml bindings for GLPK
20 weekly downloads -
Free Tennis A tennis simulation developed by a former tennis player. Its main feature is realism. For gameplay, this means you have total control over the shot parabola. For graphics, it means players have realistic gestures. For AI, it means real tactics.
35 weekly downloads -
STP STP (Simple Theorem Prover): a constraint solver/decision procedure that accepts formulas or constraints generated by program analysis/test generation tools, model checkers, bug finders, hardware/software formal verification tools, intelligent fuzzer
22 weekly downloads -
Camelia Camelia is an IDE for OCaml designed with students and new users in mind. It sports syntax highlighting, tool-tip type checking, clickable error explanations, an integrated debugger, and more.
12 weekly downloads -
The MinCaml Compiler 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!
18 weekly downloads -
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
16 weekly downloads -
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.
16 weekly downloads -
GLCaml 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.
8 weekly downloads -
banshee banshee-- A toolkit for building constraint-based program analyses
8 weekly downloads -
Archive of Formal Proofs A collection of machine-checkend mathematical proofs
4 weekly downloads -
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).
7 weekly downloads -
Fusepak Fusepak is a small program, that makes it possible to mount PACK or WAD files (used by y idSoftware games, ie. Quake, Doom) under a directory. This is achieved by using FUSE system (http://fuse.sourceforge.net), which is needed for this program to run.
6 weekly downloads -
OCamlFuse This is an ocaml binding for fuse (filesystem in userspace) enabling you to write your own multithreaded, efficient userspace filesystems using the ocaml programming language.
6 weekly downloads -
OCamlSDL OCamlSDL is an OCaml interface to the SDL (Simple DirectMedia Layer) library.
6 weekly downloads -
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.
5 weekly downloads -
Flashdot 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.
5 weekly downloads -
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
5 weekly downloads -
Relational Filesystem A linux userspace shadow (file data is on disk) relational filesystem (aka "database filesystem") using fuse and postgresql to store metadata. Directories can be queries, and powerful features (e.g. bayesian classification) are added through plugins
5 weekly downloads -
RunRadis Backtester for AAII SI PRO Data via RadiScript screens
5 weekly downloads