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
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.