Cardpeek is a tool to read the contents of ISO7816 smartcards. It features a GUI to represent card data in a tree view, and it is extendable with a scripting language (LUA). The goal of this project is to allow smartcard owners to be better informed about what type of personal information is stored in these devices. The tool currently reads the contents of: EMV bank cards, Calypso public transport cards (such as Navigo and Mobib), GSM SIM cards, the French Vitale 2 health card, some Mifare cards, and Moneo electronic purse cards.
Concurrency Kit provides a plethora of concurrency primitives and lock-less and lock-free data structures designed to aid in the design and implementation of high performance scalable concurrent systems. It was designed to minimize dependencies on operating system-specific interfaces, and most of the interface relies only on a strict subset of the standard library and more popular compiler extensions.
FEniCS is a collection of free software for automated, efficient solution of differential equations. It has an extensive list of features, including automated solution of variational problems, automated error control and adaptivity, a comprehensive library of finite elements, high performance linear algebra, and many more. It is organized as a collection of interoperable components, including the problem-solving environment DOLFIN, the form compiler FFC, the finite element tabulator FIAT, the just-in-time compiler Instant, the code generation interface UFC, the form language UFL, and a range of additional components.
TeXstudio is a fully featured LaTeX editor. It is designed to make writing LaTeX documents as easy and comfortable as possible. It features an integrated PDF viewer with (almost) word-level synchronization, live inline preview, advanced syntax highlighting, and live checking of references, citations, LaTex commands, spelling, and grammar.
Megatools is a collection of programs for accessing the Mega service from the commandline of your desktop or server. It allows you to copy individual files as well as entire directory trees to and from the cloud. You can also perform streaming downloads (for example, to preview videos and audio files) without needing to download the entire file. The tools are robust and optimized for fast operation, as fast as the Mega servers allow. Memory requirements and CPU utilization are kept at minimum. You can register an account using a "megareg" tool, with the benefit of having true control of your encryption keys.