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.