4store is an efficient, scalable, and stable RDF database. It was developed to underpin Semantic Web applications. It has been providing a base platform for these applications for around 3 years. It has successfully held and run queries over databases of 15GT, supporting a Web application used by hundreds of thousands of people.
4tH is a Forth compiler with a little difference. Instead of the standard Forth engine it features a conventional compiler. 4tH is a very small compiler that can create bytecode, C-embeddable bytecode, standalone executables, but also works fine as a scripting language. It supports about 95% of the ANS Forth CORE wordset and features conditional compilation, pipes, files, assertions, forward declarations, enumerations, structures, suspended execution, recursion, include files, etc. It comes with an RPN calculator, line editor, preprocessor, compiler, decompiler, C-source generator, a virtual machine, and a multitasking environment.
6jack is a framework for testing, analyzing, and fuzzing network applications. 6jack runs a command, intercepts calls to common network-related system calls, and passes them through an external filter. A filter can be written in any language supporting the MessagePack serialization library. 6jack is especially useful for writing tests for clients and servers, debugging and reverse engineering protocols, sketching filtering proxies, and fuzzing.
ACCORD is a C library for composition of SEM or scanning helium-ion microscope images with correction of drift. It is able to compose (average) large sets of extremely noisy images that were acquired by scanning charged-particle microscopes at the highest possible speeds (lowest pixel-dwell times). If the images are composed using traditional techniques, they usually become extensively blurry. The technique that is implemented in this software corrects these derogations by pre-shifting the composed frames.
APBS is a software package for the numerical solution of the Poisson-Boltzmann equation (PBE), one of the most popular continuum models for describing electrostatic interactions between molecular solutes in salty, aqueous media. Continuum electrostatics plays an important role in several areas of biomolecular simulation, including simulation of diffusional processes to determine ligand-protein and protein-protein binding kinetics, implicit solvent molecular dynamics of biomolecules, solvation and binding energy calculations to determine ligand-protein and protein-protein equilibrium binding constants and aid in rational drug design, and biomolecular titration studies.