RSS 36 projects tagged "BSD Revised"

Download No website Updated 05 Dec 2013 Theano

Screenshot
Pop 77.23
Vit 6.75

Theano is a Python library that allows you to define, optimize, and evaluate mathematical expressions involving multi-dimensional arrays efficiently. Theano features tight integration with numpy, transparent use of a GPU, efficient symbolic differentiation, speed and stability optimizations, dynamic C code generation, and extensive unit-testing and self-verification. Theano has been powering large-scale computationally intensive scientific investigations since 2007. But it is also approachable enough to be used in the classroom (IFT6266 at the University of Montreal).

Download Website Updated 14 Nov 2013 CLHep

Screenshot
Pop 113.79
Vit 27.98

CLHep is intended to be a set of HEP-specific foundation and utility classes such as random generators, physics vectors, geometry, and linear algebra.

Download Website Updated 03 Mar 2013 Botan

Screenshot
Pop 442.28
Vit 42.57

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 01 Oct 2012 FLENS

Screenshot
Pop 130.74
Vit 9.74

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 28 Jul 2012 LAPACK

Screenshot
Pop 112.43
Vit 8.64

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 28 Jul 2012 HOL

Screenshot
Pop 50.30
Vit 6.71

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.

Download Website Updated 28 Jul 2012 Geant4

Screenshot
Pop 113.51
Vit 12.10

Geant4 is a toolkit for the simulation of the passage of particles through matter. Its application areas include high energy physics and nuclear experiments, medical, accelerator, and space physics studies.

No download Website Updated 18 Jul 2012 Kiss FFT

Screenshot
Pop 98.82
Vit 7.48

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 Mar 2012 SUNDIALS

Screenshot
Pop 57.05
Vit 6.02

SUNDIALS (SUite of Nonlinear and DIfferential/ALgebraic equation Solvers) provides robust time integrators and nonlinear solvers that can easily be incorporated into existing simulation codes. It requires minimal information from the user, allow users to easily supply their own data structures underneath the solvers, and allows for easy incorporation of user-supplied linear solvers and preconditioners.

No download Website Updated 06 Mar 2011 Chebfun

Screenshot
Pop 14.00
Vit 33.77

Chebfun is a collection of algorithms and a software system in object-oriented MATLAB that extends familiar powerful methods of numerical computation involving numbers to continuous or piecewise-continuous functions. It also implements continuous analogues of linear algebra notions like the QR decomposition and the SVD, and solves ordinary differential equations. The mathematical basis of the system combines tools of Chebyshev expansions, fast Fourier transform, barycentric interpolation, recursive zerofinding, and automatic differentiation.

Screenshot

Project Spotlight

Guacamole

A pure HTML5/JavaScript VNC viewer.

Screenshot

Project Spotlight

JustSort

A simple application for sorting data in your browser.