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.