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