libgfortran-13-dev-powerpc-cross
Runtime library for GNU Fortran applications (development files)
This package contains the headers and static library files needed to build
GNU Fortran applications.
libgfortran-13-dev-hppa-cross
Runtime library for GNU Fortran applications (development files)
This package contains the headers and static library files needed to build
GNU Fortran applications.
r-cran-r2html
HTML Exportation for R Objects
Includes HTML function and methods to write in an HTML
file. Thus, making HTML reports is easy. Includes a function
that allows redirection on the fly, which appears to be very
useful for teaching purpose, as the student can keep a copy of
the produced output to keep all that he did during the course.
Package comes with a vignette describing how to write HTML
reports for statistical analysis. Finally, a driver for 'Sweave'
allows one to parse HTML flat files containing R code and to
automatically write the corresponding outputs (tables and
graphs).
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.
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 !!!!!