6 projects tagged "OCaml"
Updated 09 Nov 2002
mod_ocaml
| Pop | 25.46 |
|---|---|
| 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.
Updated 10 Jan 2012
Felix Programming Language
| Pop | 55.05 |
|---|---|
| Vit | 5.30 |
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.
Updated 12 Oct 2009
APRON numerical abstract domain library
| Pop | 31.11 |
|---|---|
| Vit | 1.64 |
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.
Updated 14 Dec 2012
libguestfs
| Pop | 194.11 |
|---|---|
| Vit | 11.57 |
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.
Updated 06 Aug 2009
Goanna
| Pop | 48.99 |
|---|---|
| Vit | 1.78 |
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.
Updated 11 Nov 2010
Binary of Babel
| Pop | 42.21 |
|---|---|
| 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.
