libghc-sbv-prof

symbolic Haskell theorem prover using SMT solving; profiling libraries

Express properties about Haskell programs and automatically prove them using SMT (Satisfiability Modulo Theories) solvers.

r-bioc-variantannotation

BioConductor annotation of genetic variants

This BioConductor package provides R functions to annotate variants, compute amino acid coding changess and to predict coding outcomes.

liblur3

Logitech Unifying Receiver access library

liblur is an access library for devices connected to Logitech Unifying Receivers. It provides functions to enumerate or disconnect paired devices, and pair new devices.

ruby-plasma

Plasma Ruby bindings

lusernet.app

News reader for GNUstep

LuserNET is an NNTP based news reader for GNUstep. Although it's at an early version, it's already quite usable. The following features are available:

compizconfig-backend-kconfig

KConfig Settings library for plugins - OpenCompositing Project