libppx-assert-ocaml

provide assertions in OCaml (runtime files)

This package provides extension nodes to compare values and raise useful errors if they differ.

libppx-cold-ocaml

provide the @cold annotation for OCaml (runtime files)

This package provides the @cold annotation to program in OCaml to disable a closure optimisation.

libwolfssl42

wolfSSL encryption library

wolfSSL is a small, portable, embedded SSL/TLS programming library targeted for use by embedded systems developers. It was formerly known as CyaSSL.

python3-pyequihash

python bindings for libequihash: memory-hard Proof-of-Work

Equihash implements the algorith as described in "Equihash: Asymmetric Proof-of-Work Based on the Generalized Birthday Problem" by Alex Biryukov and Dmitry Khovratovich, 2016, DOI:10.14722/ndss.2016.23108. This code, by Stefan Marsiske, is a fork of an ealier implementation by Khovratovich at https://github.com/khovratovich/equihash/ ; it provides a library, a C API and Python bindings. The cryptographic password storage SPHINX (pwdsphinx and libsphinx) depend upon equihash.

python3-radicale-dovecot-auth

Dovecot authentication plugin for Radicale

Plugin to connect Radicale (a CalDAV (calendar) and CardDAV (contact) server) to the Dovecot authentication system.

libppx-expect-ocaml

testing framework for OCaml (runtime files)

This package provides a testing framework similar to Python's cram framework for OCaml programming.