libghc-isomorphism-class-prof

Isomorphism typeclass solving the conversion problem; profiling libraries

Isomorphism as a lawful solution to the conversion problem.

cpplint

Static code checker for C++

Command-line tool to check C/C++ files for style issues following Google's C++ style guide.

xdg-terminal-exec

user default terminal execution utility

xdg-terminal-exec is an implementation of a proposed freedesktop.org specification for launching a user's default terminal app.

lomiri-tests

Scripts and mocks for running Lomiri Shell tests

Lomiri is an operating environment optimized for touch based human-machine interaction, but also supporting convergence (i.e. switching between tablet/phone and desktop mode). Lomiri is the user shell driving Ubuntu Touch based mobile devices.

c-munipack

reduction of images carried out by CCD camera

This package contains software, which offers the complete solution for reduction of images carried out by CCD camera, intended on a observation of variable stars. Each step of reduction process can be run from the command line or via simple and intuitive graphical user interface.

libpetsc-complex3.19

Shared libraries for version 3.19 of PETSc with Complex Numbers

PETSc is the "Portable Extensible Toolkit for Scientific Computation", a suite of data structures and routines for the scalable (parallel) solution of scientific applications modeled by partial differential equations. It employs the MPI standard for all message-passing communication. Several sample scientific applications, as well as various papers and talks, demonstrate the features of the PETSc libraries.