xrprof

External Sampling Profiler for R

xrprof (formerly rtrace) is an external sampling profiler for R on Linux and Windows.

gccgo-13-multilib-i686-linux-gnu

GNU Go compiler (multilib support) (cross compiler for i386 architecture)

This is the GNU Go compiler, which compiles Go on platforms supported by the gcc compiler.

coq-hierarchy-builder

build hierarchies of algebraic structures in Coq (tool)

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

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.

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

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