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