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.