music tagger and library organizer

beets

music tagger and library organizer

Beets is a media library management system for obsessive-compulsive music geeks.

rust-markdown

command line utility for parsing Markdown and outputting HTML

This package provides a command line utility `markdown` which uses the rust markdown crate to parse a markdown file and output HTML.

gccrs-13-aarch64-linux-gnu

GNU Rust compiler (cross compiler for arm64 architecture)

!!!!! Please note, the compiler is in a very early stage and not usable yet for compiling real Rust programs !!!!!

python3-installer

Python library for unpacking and installing wheels

"installer" is a low-level library for installing a Python package from a wheel distribution; the wheel is the basic unit of Python module distribution to end users. It provides basic functionality and abstractions for handling wheels and installing packages from wheels, including:

libcoq-coqprime

Primality certification for Coq (library)

Coqprime consists in: - a library of facts from number theory - a library for elliptic curves - an efficient library for modular arithmetic - tools to generate Pocklington and elliptic curve certificates of primality
Yahtzee dice game

kiriki

Yahtzee dice game

Kiriki is a dice game for up to six players, where each player rolls five dice to make combinations with the highest score.