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.