rebar3

Erlang tool to create, develop, and release Erlang libraries and applications

Rebar3 is an Erlang tool that makes it easy to create, develop, and release Erlang libraries, applications, and systems in a repeatable manner. Rebar3 will: * respect and enforce standard Erlang/OTP conventions for project structure so they are easily reusable by the community; * manage source dependencies and Erlang packages while ensuring repeatable builds; * handle build artifacts, paths, and libraries such that standard development tools can be used without a headache; * adapt to projects of all sizes on almost any platform; * treat documentation as a feature, and errors or lack of documentation as a bug.

ott-tools

Ott tool (executable)

Ott is a tool to write definitions of programming languages and calculi. From the definition of a language syntex and semanticsin a concise and readable notation close to informal mathematics, it can provide LaTeX, Coq, HOL, Isabelle/HOL, Lem or OCaml versions of the definition.

libmutter-test-12t64

Test helper library for GNOME's window manager library

Mutter is a Wayland display server and X11 window manager and compositor library. It contains functionality related to, among other things, window management, window compositing, focus tracking, workspace management, keybindings and monitor configuration.

libmps-fortran0t64

Multiprecision polynomial solver (FORTRAN module)

A polynomial rootfinder that can determine arbitrary precision approximations with guaranteed inclusion radii. It supports exploiting of polynomial structures such as sparsisty and allows for polynomial implicitly defined or in some non standard basis.

qt6-declarative-dev-tools

Qt 6 declarative development programs

Qt is a cross-platform C++ application framework. Qt's primary feature is its rich set of widgets that provide standard GUI functionality.

libstarpu-contribmpi-1.4-2

Task scheduler for heterogeneous multicore machines

StarPU is a runtime system that offers support for heterogeneous multicore machines. While many efforts are devoted to design efficient computation kernels for those architectures (e.g. to implement BLAS kernels on GPUs or on Cell's SPUs), StarPU not only takes care of offloading such kernels (and implementing data coherency across the machine), but it also makes sure the kernels are executed as efficiently as possible.