Ports Search

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.