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.
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.