This is the GNU Go compiler for the arm-linux-gnueabihf architecture, which compiles Go on platforms supported by the gcc compiler. It uses the gcc backend to generate optimized code.

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

This software provides high-level commands to build hierarchies of algebraic structures in the Coq system.

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

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

"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: