libcoq-reduction-effects
reduction effects for Coq
This plugin adds reduction side effects to some
of the Coq reduction strategies.
python3-django-polymodels
Polymorphic models implementation for django
A django application that provides a simple way to retrieve models type
casted to their original ContentType.
libcoq-mtac2
Mtac2 tactic language for Coq
This plugin for Coq provides the Mtac2
typed tactic language for backward reasoning.
r-cran-prophet
GNU R automatic forecasting procedure
Implements a procedure for forecasting time series data based on an
additive model where non-linear trends are fit with yearly, weekly, and
daily seasonality, plus holiday effects. It works best with time series
that have strong seasonal effects and several seasons of historical
data. Prophet is robust to missing data and shifts in the trend, and
typically handles outliers well.
libhtml-query-perl
HTML::Tree add-on to allow jQuery-like queries on HTML::Element trees
The HTML::Query module is an add-on for the HTML::Tree module set. It provides
a simple way to select one or more elements from a tree using a query syntax
inspired by jQuery. This selector syntax will be reassuringly familiar to
anyone who has ever written a CSS selector.
git-bump
create Git release commits and tags with changelogs
git-bump automates the best practices for doing releases for
code bases stored in Git: