Resource monitor that shows usage and stats

bashtop

Resource monitor that shows usage and stats

Resource monitor that shows usage and stats for processor, memory, disks, network and processes. bashtop includes: - Easy to use, with a game inspired menu system. - Fast and responsive UI with UP, DOWN keys process selection. - Function for showing detailed stats for selected process. - Ability to filter processes. - Easy switching between sorting options. - Send SIGTERM, SIGKILL, SIGINT to selected process. - UI menu for changing all config file options. - Auto scaling graph for network usage. - Shows current read and write speeds for disks. - Multiple data collection methods which can be switched if running on Linux.

cmake-format

source code formatter for cmake listfiles

Contains several utilities for formatting and linting cmake configuration files.

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.

libescapevelocity-java

Subset reimplementation of Apache Velocity with a much simpler API

EscapeVelocity is a templating engine that can be used from Java. It is a reimplementation of a subset of functionality from Apache Velocity.

libs2-0

manipulating geometric shapes with spherical geometry

s2geometry is for manipulating geometric shapes. Unlike many geometry libraries, S2 is primarily designed to work with spherical geometry, i.e., shapes drawn on a sphere rather than on a planar 2D map. This makes it especially suitable for working with geographic data.

libwebsockets16

lightweight C websockets library

Libwebsockets is a lightweight pure C library for both websockets clients and servers built to use minimal CPU and memory resources and provide fast throughput in both directions.