RSS 6 projects tagged "Mac OS X"

Download Website Updated 01 Oct 2012 FLENS

Screenshot
Pop 132.33
Vit 9.77

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.

No download Website Updated 27 Jan 2009 FriCAS

Screenshot
Pop 37.31
Vit 1.02

FriCAS is an advanced computer algebra system. Its capabilities range from calculus (integration and differentiation) to abstract algebra. It can plot functions and ha san integrated help system. It is a fork of the wh-sandbox branch of the Axiom project.

No download Website Updated 21 Mar 2006 Isabelle

Screenshot
Pop 71.41
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 26 May 2008 QBrew

Screenshot
Pop 264.42
Vit 5.66

QBrew is a homebrewer's recipe calculator. You can create and modify ale and lager recipes as well as calculate gravity, color, and bitterness. QBrew includes a database of styles, grains, hops, and miscellaneous ingredients, plus a brewing tutorial.

Download No website Updated 05 Dec 2013 Theano

Screenshot
Pop 77.23
Vit 6.84

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 28 Feb 2007 tbclock

Screenshot
Pop 42.49
Vit 1.74

tbclock is a small application that displays a full screen binary clock in your terminal (using curses). It is quite simple, and features modules like "guessbin" (a little game) and "chrono" (a timer with tenths of seconds).

Screenshot

Project Spotlight

Profanity

A ncurses-based Jabber client.

Screenshot

Project Spotlight

Aspose.Cells for Java

A Java component for spreadsheet reporting without using Microsoft Excel.