GRALE is a set of tools - a library and a number of accompanying applications - to study gravitational lenses. Gravitational lenses are astronomical objects so massive that their gravitational pull even deflects light rays. This can cause multiple copies of the same background object to be visible, like a cosmic mirage. The locations and shapes of these copies can provide information about the mass distribution of the gravitational lens, which GRALE can help recover using a genetic algorithm-based method. Apart from these so-called lens inversions, it's also possible to simulate gravitational lenses.
Kelvin is a units converter intended for scientists, teachers, and students who need a reliable tool for fast conversion. Some categories included are: acceleration, area, frequency, atomic physics, density, electrical capacitance, electromagnetic radiation, energy/work, flow, force, fuel consumption, illumination, length, luminance, luminous flux, magnetomotive force, mass, power, prefixes and suffixes, pressure and stress, specific heat, speed/velocity, temperature, thermal resistance, time, torque, viscosity (dynamic), viscosity (kinematic), volume, and dry/liquid capacity.
HEALPix is a set of scientific tools implementing the Hierarchical Equal Area isoLatitude Pixelation of the sphere. As suggested in the name, this pixelation produces a subdivision of a spherical surface in which every single pixel covers the same surface area. HEALPix provides various programs and libraries in C, C++, Fortran, GDL/IDL, Java, and Python which facilitate discretization, simulation, processing, analysis, and visualization of data on the sphere up to very high resolution. It is the state-of-the-art program used in astronomy and cosmology to deal with massive full-sky data sets.
GraphInsight is visualization software that lets you explore graph data through high quality interactive representations. Data exploration and knowledge extraction from graphs is of great interest nowadays: knowledge is disseminated in social networks, and services are powered by cloud computing platforms. Data miners deal with graphs every day. Humans are extremely good at identifying patterns and outliers. Interacting visually with your data can give you better intuition and higher confidence in what you are looking for.