The OCaml Batteries Included project provides a rich programming environment for beginners and advanced users. Its developers find strength in the extensive libraries of modern industrial languages (Java/.Net). We take the best from these languages for the benefit of OCaml users, providing a
... [More] comprehensive collection of consistent libraries to keep OCaml users from having to re-invent these wheels. [Less]

ScalaCheck is a Scala implementation of the QuickCheck 2 library for Haskell. It tries to keep the look and feel of QuickCheck as much as possible, while being open for improvements and extensions that can ease the task of property-based, randomized testing of Scala programs.
Main features:
... [More]
Unit properties are written directly in Scala, using combinators from the ScalaCheck library.
Properties are tested automatically, with test data generated by ScalaCheck. Data generation can be precisely controlled, and generation of custom data types is simple to define.
Failing test cases are minimised automatically, which makes pin-pointing error causes easier.
Support for stateful testing of command sequences, and minimization of failing command sequences. [Less]

Login Required

Scalaz is a Scala library for functional programming.
It provides purely functional data structures to complement those from the Scala standard library. It defines a set of foundational type classes (e.g. Functor, Monad) and corresponding instances for a large number of data structures.

Login Required

The Xen Project is a Linux Foundation Collaborative Project that focusses on the development and support of the Xen open source hypervisor and related components, developed and designed to run with the Linux platform. It includes the Xen Hypervisor, the Xen ARM Hypervisor, XAPI and Mirage OS. This
... [More] page covers the XAPI toolstack.
The project develops the enterprise ready XAPI toolstack. Xen used with the XAPI toolstack consolidates server workloads, enables savings in power, cooling, and management costs and thus contributing to environmentally sustainable computing, an increased ability to adapt to ever-changing IT environments, an optimized use of existing hardware, and an improved level of IT reliability. [Less]

Login Required

Heather is an general-purpose multiparadigm programming language. It is strongly typed, offering type inference and parametric polymorphism ("generics"). It is consequently object oriented (everything is a object, even functions), while its consequent multiple dispatch approach keeps a strong
... [More] functional touch. The object model is class-oriented, supporting multiple inheritance as well as the
separation of types ("protocols", "interfaces") and classes.
The grammar is regular, small, and (mostly) context free. In particular it can be parsed without symbol tables, and does not require a special preprocessor since it offers powerful hygienic macros as part of the language and special support for conditional compilation. [Less]