This is a staging site. Uploads will not persist. Testing only.
libxdmf3t64
eXtensible Data Model and Format library
The need for a standardized method to exchange scientific data between
High Performance Computing codes and tools lead to the development of the
eXtensible Data Model and Format (XDMF) . Uses for XDMF range from a
standard format used by HPC codes to take advantage of widely used
visualization programs like ParaView and VisIt,
to a mechanism for performing coupled calculations using multiple,
previously stand alone codes.
libelpi-ocaml
embeddable lambda-Prolog interpreter (runtime files)
ELPI implements a lambda-Prolog interpreter enriched with
constraint handling rules, to provide an extension language
to larger applications written in OCaml.
elpi
embeddable lambda-Prolog interpreter (tool)
ELPI implements a lambda-Prolog interpreter enriched with
constraint handling rules, to provide an extension language
to larger applications written in OCaml.
qml-module-lomiri-metrics
Qt Components for Lomiri - Metrics QML plugin
Qt Components for Lomiri offers a set of reusable user interface
components for Qt Quick 2 / QML.
cpp-12-mipsisa32r6-linux-gnu
GNU C preprocessor
A macro processor that is used automatically by the GNU C compiler
to transform programs before actual compilation.
elpa-subed
Emacs mode for editing subtitles while playing the corresponding video
subed is an Emacs major mode for editing subtitles while playing the
corresponding video with mpv. The supported formats are SubRip (.srt)
and WebVTT (.vtt). There is also experimental support for Advanced
SubStation Alpha (.ass) and Tab-separated values (.tsv)