112 projects tagged "OCaml"

No download Website Updated 05 Aug 2012 Argot

Screenshot
Pop 15.03
Vit 2.38

Argot is a custom HTML generator for the ocamldoc tool. It supports stroked, underlined, and highlighted styles, image data inclusion, table support with captions, headers, rows, and data, token substitution, a @typevar tag for documenting type variables, @unimplemented, @todo, @todoc, @docme, @fixme, and @tofix tags for remaining work, @threadsafe and @threadunsafe tags for thread compatibility, a @stateful tag for state-based functions, and @attention, @bug, @error, @info, @new, @note, @remark, and @warning tags.

No download Website Updated 30 Aug 2012 Mascot

Screenshot
Pop 19.60
Vit 1.98

Mascot is a style checker for Objective Caml sources. It checks for overloading of built-in elements, useless constructs, deeply nested constructs, 'open' statements, magic numbers, complex conditions, presence of comments, spelling, empty interfaces and the number of exported elements, coupling, Halstead, and McCabe metrics, matching of regular expressions, and spaces, tabulation, headers, and file/line lengths. It supports CheckStyle, CSV, HTML, JDepend, bare text, and XML outputs, and supports plugins for custom checks and outputs.

No download No website Updated 15 Apr 2014 llpp

Screenshot
Pop 152.24
Vit 16.01

llpp is a MuPDF-based PDF pager.

No download No website Updated 29 Jan 2011 Paparazzi

Screenshot
Pop 14.28
Vit 34.87

Paparazzi is powerful and versatile autopilot system for fixed-wing aircraft and multicopters. It comprises both hardware and software. The project includes not only the airborne hardware and software, from voltage regulators and GPS receivers to Kalman filtering code, but also a powerful and ever-expanding array of ground hardware and software including modems, antennas, and a highly evolved user-friendly ground control software interface.

Download Website Updated 12 Jun 2012 Opa

Screenshot
Pop 68.77
Vit 3.57

Opa is a web development platform. It comprises a programming language, a Web server, a database, and a distributed execution engine. All of these are tightly integrated.

Download No website Updated 07 Oct 2013 OCaml MySQL Protocol

Screenshot
Pop 35.81
Vit 4.18

OCaml MySQL Protocol is an implementation of the MySQL protocol using the OCaml Bitstring library.

No download Website Updated 08 Nov 2012 ocamlmath

Screenshot
Pop 13.56
Vit 23.81

ocamlmath provides modules that may be used as interactive calculation constructions for general mathematics when loaded in the OCaml pseudo-interpreter, or as calculation library for the OCaml compiler.

Download No website Updated 21 Feb 2014 any-dl

Screenshot
Pop 102.33
Vit 5.01

any-dl is a generic video downloader tool that uses a domain specific language to describe how to download videos from each video site.

No download Website Updated 03 Apr 2014 Capstone

Screenshot
Pop 161.17
Vit 1.74

Capstone is a disassembly framework with the target of becoming the ultimate disasm engine for binary analysis and reversing in the security community. Running on Windows, Mac OS X, Linux, FreeBSD, OpenBSD, and Solaris, it can disassemble ARM, ARM64 (ARMv8), MIPS, PPC, and x86 architectures. Capstone provides rich details about disassembled instructions along with useful semantic information.

No download No website Updated 27 Apr 2014 BSD Make Pallàs Scripts

Screenshot
Pop 38.54
Vit 5.71

BSD Make Pallas Scripts is a collection of BSD Make directives that can be used to create workflows including the following activities: preparation and publication of TeX documents, development of TeX macros with NOWEB, development of OCaml software, maintenance of FreeBSD workstation configuration files, preparation of a static Web site with ONSGMLS. It has several nice advanced features, like producing METAPOST figures for TeX documents or parallel build on OCaml projects.

Screenshot

Project Spotlight

cclite

LETS and community currency software.

Screenshot

Project Spotlight

bind

Berkeley Internet Name Domain