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.