python3-robber

BDD / TDD assertion library for Python (Python 3)

Python Library that provides assertion functions for Test-driven Development and Behavior-Driven Development.

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-reduction-effects

reduction effects for Coq

This plugin adds reduction side effects to some of the Coq reduction strategies.

libstdc++-12-dev-mips64r6-cross

GNU Standard C++ Library v3 (development files) (mips64r6)

This package contains the headers and static library files necessary for building C++ programs which use libstdc++.

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.

postgresql-15-unit

SI Units for PostgreSQL

postgresql-unit implements a PostgreSQL datatype for SI units, plus byte. The base units can be combined to named and unnamed derived units using operators defined in the PostgreSQL type system. SI prefixes are used for input and output, and quantities can be converted to arbitrary scale.