EDFbrowser is a multi-platform viewer for EEG, EMG, and ECG storage files. It supports the EDF, EDF+, BDF, and BDF+ file formats. It supports montages, annotations, precise measurements by using crosshairs, and a zoom function by drawing a rectangle with the mouse. It shows signals from different files at the same time. It includes a built-in EDF/EDF+/BDF/BDF+ to ASCII converter, a built-in Nihon Kohden to EDF+ converter (including annotations), a built in EDF+D to EDF+C converter, a BDF(+) to EDF(+) converter and a built-in EDF/EDF+/BDF/BDF+ compatibility checker.
Botan is a crypto library written in C++. It provides a variety of cryptographic algorithms, including common ones such as AES, MD5, SHA, HMAC, RSA, Diffie-Hellman, DSA, and ECDSA, as well as many others that are more obscure or specialized. It also offers SSL/TLS (client and server), X.509v3 certificates and CRLs, and PKCS #10 certificate requests. A message processing system that uses a filter/pipeline metaphor allows for many common cryptographic tasks to be completed with just a few lines of code. Assembly and SIMD optimizations for common CPUs offers speedups for critical algorithms like AES and SHA-1.
SaVi is satellite visualization software that lets you create, run, examine, and modify satellite orbits in two and three dimensions. Simulations of Iridium, Globalstar, Galileo, GPS, and other satellite constellations are included. SaVi requires Tcl and Tk on a system with Unix libraries. SaVi works well with the 3D renderer Geomview. Geomview is optional, though recommended for its 3D rendering capabilities.
Mercury is a new logic/functional programming language, which combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection features. Its highly optimized execution algorithm delivers efficiency far in excess of existing logic programming systems, and close to conventional programming systems. Mercury addresses the problems of large-scale program development, allowing modularity, separate compilation, and numerous optimization/time trade-offs.
DOLFIN is the C++ interface of the FEniCS project for the Automation of Computational Mathematical Modeling (ACMM), providing a consistent PSE (Problem Solving Environment) for solving ordinary and partial differential equations. Key features include a simple, consistent and intuitive object-oriented API; automatic and efficient evaluation of variational forms through FFC; automatic and efficient assembly of linear systems; and support for general families of finite elements.
C++ Sockets is a cross-platform C++ wrapper for BSD-style sockets. It implements the TCP, UDP, ICMP, and SCTP transport layer protocols. Implemented application layer protocols are HTTP/HTTPS (using OpenSSL), SMTP (server), and Ajp/1.3 (server). Features include transparent SOCKS4 client support and asynchronous DNS. Included in the library are a number of HTTP client functions such as GET/PUT/POST, and also Web server framework components.