webext-vimium-chromium

keyboard-based navigation and control (Chromium)

Vimium is a browser extension that provides keyboard-based navigation and control of the web in the spirit of the Vim editor.

sugar-write-activity

Sugar Learning Platform - writing activity

Sugar Learning Platform promotes collaborative learning through Sugar Activities that encourage critical thinking, the heart of a quality education. Designed from the ground up especially for children, Sugar offers an alternative to traditional “office-desktop” software.

why3

Software verification platform

Why3 is a platform for deductive program verification. It provides a rich language for specification and programming, called WhyML, and relies on external theorem provers, both automated and interactive, to discharge verification conditions. Why3 comes with a standard library of logical theories (integer and real arithmetic, Boolean operations, sets and maps, etc.) and basic programming data structures (arrays, queues, hash tables, etc.). A user can write WhyML programs directly and get correct-by-construction OCaml programs through an automated extraction mechanism. WhyML is also used as an intermediate language for the verification of C, Java, or Ada programs.

warp

Send files over the internet, securely

Warp is a GUI for magic-wormhole. It allows for secure sending of files over the internet, utilizing the magic wormhole protocol. It is fully compatible with the Rust, Python and Go CLI applications in the archive. The binary is named /usr/bin/warp-gtk since /usr/bin/warp is already taken.
Finding memory leak in a program

valgrind

instrumentation framework for building dynamic analysis tools

Valgrind is a system for debugging and profiling Linux programs. With its tool suite you can automatically detect many memory management and threading bugs, avoiding hours of frustrating bug-hunting and making your programs more stable. You can also perform detailed profiling to help speed up your programs and use Valgrind to build new tools.

valgrind-mpi

instrumentation framework for building dynamic analysis tools (MPI module)

Valgrind is a system for debugging and profiling Linux programs. With its tool suite you can automatically detect many memory management and threading bugs, avoiding hours of frustrating bug-hunting and making your programs more stable. You can also perform detailed profiling to help speed up your programs and use Valgrind to build new tools.