vmware-manager

utility to manage VMware virtual machines

This package provides vwm, a command-line tool for managing VMware virtual machines. This is primarily useful for larger installations where virtuals need to be migrated, cloned or otherwise modified from the command line.

gcj-4.8-jre

Java runtime environment using GIJ/Classpath

libghc-project-template-prof

specify Haskell project templates and generate files; profiling libraries

Framework for project templates/scaffolding.

chocolate-hexen

Hexen engine closely-compatible with Vanilla Hexen

Chocolate Doom aims to accurately reproduce the original DOS version of Doom and other games based on the Doom engine in a form that can be run on modern computers. Unlike most modern Doom engines, Chocolate Doom is not derived from the Boom source port and does not inherit its features (or bugs).

libcoq-deriving

deriving MathComp classes from inductive types

This package builds instances of MathComp classes with little boilerplate, mimicking Haskell's deriving facility.

libcoq-extructures

data structures with extensional reasoning for Coq

This Coq plugin provides finite sets, maps and other data structures with extensional reasoning.