r-cran-survminer

Drawing Survival Curves using 'ggplot2'

Contains the function 'ggsurvplot()' for drawing easily beautiful and 'ready-to-publish' survival curves with the 'number at risk' table and 'censoring count plot'. Other functions are also available to plot adjusted curves for `Cox` model and to visually examine 'Cox' model assumptions.

libgnatcoll-postgres2

Ada library accessing PostGreSQL databases (runtime)

The gnatcoll-db library allows Ada programs to send SQL queries to SQLite or PostGreSQL databases.

libcvc4-7

automated theorem prover for SMT problems (runtime)

CVC4 is an efficient automatic theorem prover for satisfiability modulo theories (SMT) problems. It can be used to prove the validity (or, dually, the satisfiability) of first-order formulas in a large number of built-in logical theories and their combination.

ruby-rspec-collection-matchers

Ruby RSpec CollectionMatchers

Ruby Rspec is a Behaviour Driven Development framework for Ruby. It provides a framework for Ruby. RSpec Collection Matchers is a RSpec addon for collection cardinality matchers, extracted from rspec-expectations.

libqbscore1.11

Qbs core library

ruby-locale

Locale library for Ruby

Ruby-Locale is a pure Ruby library which provides a basic API for localization.