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.
libace-rmcast-7.0.8
ACE reliable multicast library
The RMCast library is a reliable source-ordered multicast protocol
implementation.
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.
libace-ssl-7.0.8
ACE secure socket layer library
This package contains wrappers that integrate the OpenSSL library in
the ACE framework.
libcoq-mtac2
Mtac2 tactic language for Coq
This plugin for Coq provides the Mtac2
typed tactic language for backward reasoning.