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: