RSS 6 projects tagged "OCaml"

Download No website Updated 09 Nov 2002 mod_ocaml

Screenshot
Pop 22.18
Vit 1.00

Generally, mod_ocaml is a flexible apache module for use of INRIA's powerful OCAML interpreter as a Web scripting language (with functional and imperative features). Simply embed OCAML code between HTML on your pages, like you do with PHP, mod_perl, etc. After modifying some settings, you can use almost any interpreter for providing dynamic content on your HTML pages.

Download Website Updated 10 Jan 2012 Felix Programming Language

Screenshot
Pop 47.33
Vit 4.28

Felix is a programming language with a fully featured purely functional subsystem embedded in a a traditional Algol-like imperative programming system. The system features garbage collection, static typing, parametric polymorphism, overloading, regular expression matching, and a lot more. A scripting harness is used to invoke source files, but fully compiled binary shared libraries are generated, yielding both rapid prototyping and high performance. Seamless binding of C/C++ code makes interfacing existing libraries easy. Control inversion provides language-level cooperative multi-tasking.

Download Website Updated 12 Oct 2009 APRON numerical abstract domain library

Screenshot
Pop 29.09
Vit 1.59

The APRON library is dedicated to the static analysis of the numerical variables of a program by abstract interpretation. The aim of such an analysis is to infer invariants about these variables.

Download Website Updated 21 Oct 2013 libguestfs

Screenshot
Pop 192.95
Vit 12.34

libguestfs is a set of tools for accessing and modifying virtual machine (VM) disk images. You can use this for viewing and editing files inside guests, scripting changes to VMs, monitoring disk used/free statistics, P2V, V2V, performing partial backups, cloning VMs, and much more. libguestfs can access nearly any type of filesystem including: all known types of Linux filesystem (ext2/3/4, XFS, btrfs, etc.), any Windows filesystem (VFAT and NTFS), any Mac OS X and BSD filesystems, LVM2 volumes, MBR and GPT disk partitions, raw disks, qcow2, CD and DVD ISO images, SD cards, and dozens more. libguestfs doesn't need root permissions.

No download Website Updated 06 Aug 2009 Goanna

Screenshot
Pop 42.21
Vit 1.77

Goanna is an Eclipse plugin that does static analysis of C/C++ source code with model checking. It detects many instances of null pointer de-referencing, double free(), buffer overruns, uninitialized variables, and other common programming mistakes.

No download Website Updated 11 Nov 2010 Binary of Babel

Screenshot
Pop 45.17
Vit 1.00

Binary of Babel is the demo that got second place at Alternative Party 2010. It combines over 20 programming languages, including Objective-C, Vala, Scheme, and even COBOL, into one binary. It contains lots of classic demo effects such as a rotozoomer and raster bars.

Screenshot

Project Spotlight

OpenGrok

A fast and usable source code search and cross reference engine.

Screenshot

Project Spotlight

skalibs

Public domain general-purpose libraries.