8. Google Picasa Google Picasa is an extremely professional good looking photo management application available on Windows ,Linux and Ma...
Read More
Showing posts with label Science. Show all posts
Showing posts with label Science. Show all posts
PsychoPy Psychology Software in Python.
PsychoPy is an open source software package, written in Python programming language, for the generation of experiments for neuroscience an...
Read More
Khan Academy on the App Store on iTunes.
In mid-March, we launched the official Khan Academy iPad app . If you haven’t yet downloaded it, you can download the app for free fr...
Read More
Dynare is a software platform for handling a wide class of economic models.
Dynare is a software platform for handling a wide class of economic models, in particular dynamic stochastic general equilibrium ( DSGE ) a...
Read More
CaRMetal propose a different approach from the graphical interface point of view.
Compass and Ruler ( C.a.R .) is a dynamic geometry software developed by Rene Grothmann since 1989. You can find here an history of C.a.R....
Read More
Bugsx a program to display and evolve biomorphs.
Bugsx draws the biomorphs based on parametric plots of Fourier sine and cosine series and let's you play with them using the genetic al...
Read More
August 2013: 10 Most Popular Posts from Ubuntuland & The Dream Valley.
1.- Matita interactive theorem prover (or proof assistant), a tutorial introduction: installation. Matita is an experimental proof assist...
Read More
Matita interactive theorem prover (or proof assistant), a tutorial introduction: installation.
Matita is an experimental proof assistant under development at the Computer Science Department of the University of Bologna. Matita i...
Read More
HOL(Higher Order Logic), The Higher Order Logic Theorem Prover.
HOL (Higher Order Logic) denotes a family of interactive theorem proving systems sharing similar (higher-order) logics and implementation s...
Read More
Sakura is a vte-based terminal emulator.
Sakura is a vte-based terminal emulator. Sakura project aims to provide a terminal emulator that only depends on GTK and VTE. It us...
Read More
Subscribe to:
Posts
(
Atom
)