python3-py17track

Library for tracking packages with 17track.net

This library allows users to track their packages by communicating with the 17track.net API. Users can retrieve summary data about packages, including their current statuses such as 'In Transit' or 'Delivered'. The library provides methods to add new packages by tracking number, retrieve detailed information about each package, and get updates on the status and location of the packages.

libcoq-mtac2

Mtac2 tactic language for Coq

This plugin for Coq provides the Mtac2 typed tactic language for backward reasoning.

libstarpu-contrib-1.4-5t64

Task scheduler for heterogeneous multicore machines

StarPU is a runtime system that offers support for heterogeneous multicore machines. While many efforts are devoted to design efficient computation kernels for those architectures (e.g. to implement BLAS kernels on GPUs or on Cell's SPUs), StarPU not only takes care of offloading such kernels (and implementing data coherency across the machine), but it also makes sure the kernels are executed as efficiently as possible.

libcoq-reduction-effects

reduction effects for Coq

This plugin adds reduction side effects to some of the Coq reduction strategies.

zarchive-tools

tool for creating and reading zstd-compressed files

ZArchive is yet another file archive format. Think of zip, tar, 7z, etc. but with the requirement of allowing random-access reads and supporting Zstandard compression.

libcoq-unicoq

enhanced unification algorithm for Coq

This package provides a new unification algorithm, replacing the existing one through a plugin.