A glm-like formula language to define dynamic generalized
linear models (state space models).
Includes functions for Kalman filtering and smoothing.
Estimation of variance matrices can be performed using
the EM algorithm in case of Gaussian models.
CryptoMiniSat is a modern, multi-threaded, feature-rich, simplifying SAT
solver, featuring over 100 configurable parameters to tune to specific
need, collection of statistical data to MySQL database + javascript-based
visualization of it and clean C++ and python interfaces.
ARPACK++ is a collection of classes that offers c++ programmers an interface
to ARPACK. It preserves the full capability, performance, accuracy and low
memory requirements of the FORTRAN package, but takes advantage of the C++
object-oriented programming environment.
Blitz++ is a C++ class library for scientific computing which provides
performance on par with Fortran 77/90. It uses template techniques to
achieve high performance. The current versions provide dense arrays and
vectors, random number generators, and small vectors and matrices.
GKmap is a free K-Map disclosure software, which is developed to solve
the Digital Electronics design problems. Along with design it also helps
in analysis of information flow in the digital circuits.
FreeMat is a free environment for rapid engineering and scientific
prototyping and data processing. It is similar to commercial systems
such as MATLAB from Mathworks, and IDL from Research Systems, but is
Open Source.
OpenGL Mathematics (GLM) is a header only C++ mathematics library for
graphics software based on the OpenGL Shading Language (GLSL) specification.
GLM provides classes and functions designed and implemented with the same
naming conventions and functionalities than GLSL so that when a programmer
knows GLSL, he knows GLM as well which makes it really easy to use.
This project isn't limited to GLSL features. An extension system, based on
the GLSL extension conventions, provides extended capabilities: matrix
transformations, quaternions, half-based types, random numbers, procedural
noise functions, etc...
This library works perfectly with OpenGL but it also ensures interoperability
with third party libraries and SDKs. It is a good candidate for software
rendering (Raytracing / Rasterisation), image processing, physic simulations
and any context that requires a simple and convenient mathematics library.
GraphThing is a tool that allows you to create, manipulate and study graphs.
These "graphs" are mathematical objects that describe relationships between
sets; they are not 2D plots, charts, or anything similar to that.
GotoBLAS2 is a fast implementation of Basic Linear Algebra
Subprograms. It supports various architectures and is optimized
for many cores, including Intel Nehalem and Atom, Via Nano,
SiCortex, AMD Shanghai and Istanbul.
levmar is a GPL-licensed library written in C, that implements the
Levenberg-Marquardt (LM) optimization algorithm, one of the most
effective methods for solving nonlinear least squares problems.