Racket (formerly PLT Scheme) is a programming language suitable for implementation tasks ranging from scripting to application development, including GUIs, Web services, etc. It includes the DrRacket programming environment, a virtual machine with a just-in-time compiler, tools for creating stand-alone executables, the Racket Web server, extensive libraries, documentation for both beginners and experts, and more. It supports the creation of new programming languages through a rich, expressive syntax system. Example languages include Typed Racket, ACL2, FrTime, and Lazy Racket.
Puppet lets you centrally manage every important aspect of your system using a cross-platform specification language that manages all the separate elements normally aggregated in different files, including users, cron jobs, and hosts, along with obviously discrete elements like packages, services, and files. Its simple declarative specification language provides powerful classing abilities for drawing out the similarities between hosts while allowing them to be as specific as necessary, and it handles dependency and prerequisite relationships between objects clearly and explicitly.
radare2 aims to create a complete, portable, multi-architecture, Unix-like toolchain for reverse engineering. It is composed of a hexadecimal editor (radare) with a wrapped I/O layer supporting multiple backends for local/remote files, debugger (OS X, BSD, Linux, W32), stream analyzer, assembler/disassembler (rasm) for x86, ARM, PPC, m68k, Java, MSIL, and SPARC, code analysis modules, and scripting facilities. It also has a bindiffer named radiff, base converter (rax), a shellcode development helper (rasc), a binary information extractor supporting PE, Mach0, ELF, class, etc. named rabin, and a block-based hash utility called rahash. Radare was rewritten as radare2, and the old version is only maintained for bugfixes.
FastFlow is a pattern-based programming framework targeting streaming applications. It implements pipeline, farm, divide and conquer, and their composition, as well as generic streaming networks. It is specifically designed to support the development and the seamless porting of existing applications on multi-core, GPGPUs, and clusters of them. The layered template-based C++ design ensures flexibility and extendibility. Its lock-free/fence-free run-time support minimizes cache invalidation traffic and enforces the development of high-performance (high-throughput, low-latency) scalable applications. It has been proven comparable or faster than TBB, OpenMP, and Cilk on several micro-benchmarcks and real-world applications, especially when dealing with fine-grained parallelism and high-throughput applications.
iMorph is cross platform 3D image analysis software. It permits the morphological characterization of porous media, and more precisely cellular materials. The first step of the analysis is a macroscopical characterization of the different phases. It allows porosity, tortuosity, and specific surface measurement. The anisotropy is also quantified at the sample scale. In a second step, the software gives a morphological study at the pore scale. Automatic methods for cell extraction give access to shape analysis, classification, and orientation. Moreover, it permits a local voxel classification in order to identify local shape such as shell, plates, and rods. Finally, the software gives a topological description by generating the graphs of both the solid and fluid phase. The human interface is intuitive and can be used by a non-expert of image processing. 3D visualization uses OpenGL libraries and allows interaction with segmented objects. An XML samples database is used to store results belonging to a region of interest in the media.
Window Switch is a tool that allows you to move applications between networked computers. The windows appear where you need them, as they were. You no longer need to save and send documents to move them around; simply move the view of the application to the machine where you need it.
AppDynamics an application performance management solution for mission-critical Java applications. It can organize user requests and business transactions, monitor business transaction health, identify and diagnose slow requests, identify and diagnose errors, and drill down. It is built from the ground up for highly distributed service-oriented environments. It has fast root cause diagnostics at the method/class level, but creates no more than 2% overhead, even in high-volume production deployments. It can not only manage applications, but dynamically scale them in cloud and virtual environments.
The j661 project provides a generic CDS (or ARINC 661 Server) in order to facilitate the understanding of the ARINC 661 standard, prototype ARINC 661 concepts and architectures, and facilitate the reuse of ARINC 661 specifications and artefacts between projects. The CDS architecture is designed to allow defining the Server behavior to be easily modified or extended. This is achieved by a modular plug-in architecture, allowing customization at runtime without changing anything in the Server core itself.