python3-baron

Full Syntax Tree for python for refactoring code

Baron is a Full Syntax Tree (FST) library for Python. Unlike an Abstract Syntax Tree (AST) which drops some syntax information in the process of its creation (like empty lines, comments, formatting), an FST keeps everything and guarantees functionally identical output.

libphodav-3.0-0

WebDAV server implementation using libsoup

phởdav is a WebDAV server implementation using libsoup (RFC 4918).

libptime-ocaml

POSIX time for OCaml (runtime)

Ptime has platform independent POSIX time support in pure OCaml. It provides a type to represent a well-defined range of POSIX timestamps with picosecond precision, conversion with date-time values, conversion with RFC 3339 timestamps and pretty printing to a human-readable, locale-independent representation.

python3-plyer

platform-independent wrapper for platform-dependent APIs

Plyer is a platform-independent api to use features commonly found on various platforms, notably mobile ones, in Python.

libcoq-mathcomp-ssreflect

Mathematical Components library for Coq (small scale reflection)

The Mathematical Components Library is an extensive and coherent repository of formalized mathematical theories. It is based on the Coq proof assistant, powered with the Coq/SSReflect language.

libadios2-mpi-core-2

ADIOS2 Adaptable IO system for simulations - core libraries (MPI)

The Adaptable IO System (ADIOS) provides a simple, flexible way for scientists to describe the data in their code that may need to be written, read, or processed outside of the running simulation. By providing an external to the code XML file describing the various elements, their types, and how you wish to process them this run, the routines in the host code (either Fortran or C) can transparently change how they process the data.