RSS 36 projects tagged "Mathematics"

No download Website Updated 21 Mar 2006 Isabelle

Screenshot
Pop 68.99
Vit 3.17

Isabelle is a popular generic theorem prover developed at Cambridge University and TU Munich. Existing logics like Isabelle/HOL provide a theorem proving environment ready to use for sizable applications. Isabelle may also serve as framework for rapid prototyping of deductive systems. It comes with a large library including Isabelle/HOL (classical higher-order logic), Isabelle/HOLCF (Scott's Logic for Computable Functions with HOL), Isabelle/FOL (classical and intuitionistic first-order logic), and Isabelle/ZF (Zermelo-Fraenkel set theory on top of FOL).

Download Website Updated 01 Oct 2009 MersenneTwister

Screenshot
Pop 38.43
Vit 5.21

MersenneTwister is a C++ class for generating 32-bit random numbers as integers or floating-point. Seeds can be obtained automatically from /dev/urandom or system time, and the generator state may be saved and restored. It includes an example program and performance tests.

Download Website Updated 03 Mar 2013 Botan

Screenshot
Pop 448.20
Vit 42.38

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.

Download Website Updated 28 Jul 2012 HOL

Screenshot
Pop 49.97
Vit 6.69

Higher Order Logic (HOL) is a programming environment in which theorems can be proved and proof tools implemented. Built-in decision procedures and theorem provers can automatically establish many simple theorems. An Oracle mechanism gives access to external programs such as SAT and BDD engines. HOL 4 is particularly suitable as a platform for implementing combinations of deduction, execution, and property checking.

No download Website Updated 18 Jul 2012 Kiss FFT

Screenshot
Pop 98.15
Vit 7.46

Kiss FFT is a small and simple FFT library. It has no complicated platform-specific optimizations, is able to do fixed or floating point with just a recompile, and is efficient enough for all but the most demanding applications.

Download Website Updated 26 Apr 2006 Free Finite Element Package

Screenshot
Pop 36.95
Vit 2.33

The Free Finite Element Package is a modular collection of C libraries which contain numerical methods required when working with linear and quadratic finite elements in two dimensions. FFEP works on GNU/Linux and is portable to every system where MEML (i.e. LAPACK and BLAS) are available. The goal of FFEP is to provide basic functions for approximating the solution of elliptic and parabolic partial differential equation in two dimensions with Dirichlet and Neumann boundary conditions.

Download Website Updated 28 Jul 2012 LAPACK

Screenshot
Pop 112.85
Vit 8.62

LAPACK is a linear algebra library, based on LINPACK and EISPACK, designed to provide routines for handling simultaneous equations and matrix algebra efficiently, particularly on shared memory vector processors, parallel processors, and clusters. The code is written in Fortran, and requires the BLAS (Basic Linear Algebra Subprograms) library.

Download Website Updated 01 Oct 2012 FLENS

Screenshot
Pop 129.98
Vit 9.71

FLENS is short for Flexible Library for Efficient Numerical Solutions. This C++ can be used as a builing block for the implementation of other (higher-level) numerical libraries or numerical applications. It is a C++ library (requires a C++11 conform compiler). Easy install, as FLENS is headers only. It gives you Matrix/vector types for dense linear algebra; a generic (i.e. templated) implementation of BLAS; and a generic reimplementation of LAPACK. If high performance BLAS libraries like ATLAS, GotoBLAS, etc. are available, you simply can link against them and boost performance.

Download Website Updated 29 Mar 2008 The VXL Project

Screenshot
Pop 67.45
Vit 2.60

VXL is a set of portable C++ libraries designed for computer vision research and implementation. Numerics, imaging, and geometry are provided by stand-alone core libraries, with easy to use APIs and sophisticated processing algorithms. Other libraries provide stereo, video, structure from motion, probability modeling, GUI design, classification, robust estimation, feature tracking, topology, 3d imaging, and much more. It is written and used by an international team from academia and industry.

Download Website Updated 31 Jan 2004 Brook for GPUs

Screenshot
Pop 51.06
Vit 1.00

Brook for GPUs is a compiler and runtime implementation of the Brook stream programming language for modern graphics hardware. The goals for this project are to demonstrate general purpose programing on GPUs, to provide a useful tool for developers who want to run applications on GPUs, and to research the stream language programming model, streaming applications, and system implementations.

Screenshot

Project Spotlight

Rudiments

A foundation class library.

Screenshot

Project Spotlight

Monit

A utility for monitoring Unix system services.