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