deal.II is a C++ library supporting the generation of complex adaptive finite element codes. It features locally-refined grids, various scalar and vector-valued finite elements, linear solvers of low and higher order, arbitrary mappings, and support for 1, 2, and 3D computations. It comes with extensive documentation and example programs showing the use of the library for modern finite element programs.
FrAid (Fr[actal] Aid) is a programming language that is appropriate for mathematical computations, visualization, batch processing, and more. It features both a standalone application that provides a programming environment for the language and a system for integrating the language with Java. The Java interface allows mathematical equations and formulas to be used with Java code, making it easier to process numerical computations, symbolic computations, imaging, CAD, and more.
Concepts is a C++ class library for solving elliptic partial differential equations (PDEs) numerically. The design principle is the transfer of mathematical objects and grammar used to specify mathematical and numerical models of physical systems isomorphically into simulation software. The design realization uses the C++ functionality of inheritance and derived classes.
Vaucanson is a finite state machine manipulation platform, composed of a library and tools implemented on top of it. The goal of this library is to enable the development of C++ programs in an abstract and general way with a large specialization power. On the one hand, it allows the writing of algorithms that work on every automaton with weights over any semirings and with words from any free monoids. And on the other hand, a particular algorithm can be specialized for a particular data structure implementing only a pseudo behavior.
PROMPT is a system for retrieval, analysis, mapping and comparison of protein sets. It allows easy mapping of different types of sequence identifiers, automatic data retrieval and integration, many analysis and comparison algorithms, and a full-featured GUI application. Exhaustive statistical tests are conducted automatically in appropriate cases, but can be performed manually. All analysis results can be viewed or visualized and exported in various formats. All methods can be used in your own Java code or with beanshell scripting in your own scripts, a pipeline, or grid systems.
CGAL, the Computational Geometry Algorithms Library, is a large C++ library of geometric data structures and algorithms such as Delaunay triangulations, mesh generation, Boolean operations on polygons, and various geometry processing algorithms. CGAL is used in various areas: computer graphics, scientific visualization, computer aided design and modeling, geographic information systems, molecular biology, medical imaging, robotics and motion planning, and numerical methods.
Virtual Ideal Functionality Framework is a framework for creating efficient and secure multi-party computations (SMPC). Players, who do not trust each other, participate in a joint computation based on their private inputs. The computation is done using a cryptographic protocol which allows them to obtain a correct answer without revealing their inputs. Operations supported include addition, multiplication, and comparison, all with Shamir secret shared outputs.
DUNE, the Distributed and Unified Numerics Environment, is a modular toolbox for solving partial differential equations (PDEs) with grid-based methods. DUNE is first of all a set of abstract interfaces which embody concepts from scientific computing. Modern C++ programming techniques enable very different implementations of the same concept using a common interface at a very low overhead. Thus, DUNE ensures efficiency in scientific computations and supports high-performance computing applications.
Trad4 is a fully concurrent, thread safe, graph based programming language that scales linearly on multiple cores. It is initially intended for deployment in the financial industry to model real-time risk. Trad4 is proposed as an alternative to the Von Neumann model of computer architecture. It is a new way of arranging programs in memory and a new style of flow-of-control.