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.

libstarpu-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.

php-symfony-orange-sms-notifier

Symfony Orange Sms Notifier Bridge

The Symfony Orange Sms Notifier Bridge provides Orange Sms integration for Symfony Notifier.

libcloudflare-ddns2

dynamically update a DNS record using Cloudflare - runtime library

cloudflare-ddns is a oneshot program: you run it, it updates the DNS record, and it terminates. This uses Cloudflare's API, so to run the tool you'll need an API token and the Zone ID of the DNS zone that you want to update.