6 projects tagged "Mac OS X"
Updated 21 Mar 2006
Isabelle
| Pop | 78.66 |
|---|---|
| Vit | 3.25 |
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).
Updated 26 May 2008
QBrew
| Pop | 273.09 |
|---|---|
| Vit | 5.95 |
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.
Updated 01 Oct 2012
FLENS
| Pop | 158.44 |
|---|---|
| Vit | 14.48 |
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.
Updated 28 Feb 2007
tbclock
| Pop | 42.31 |
|---|---|
| Vit | 1.75 |
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).
Updated 27 Jan 2009
FriCAS
| Pop | 32.37 |
|---|---|
| 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.
Updated 23 Feb 2012
Theano
| Pop | 50.40 |
|---|---|
| Vit | 2.83 |
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).
