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)