SW Name |
Home page |
Downloaded |
kstars |
http://edu.kde.org/kstars/ |
35343x |
KStars is a Desktop Planetarium for KDE. It provides an accurate graphical simulation of the night sky, from any location on Earth, at anydate and time. The display includes 40,000 stars, 13,000 deep-sky objects,all 8 planets, the Sun and Moon, and thousands of comets and asteroids.
|
|
Isabelle |
http://isabelle.in.tum.de/ |
28679x |
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).
|
|
Calcoo |
http://calcoo.sourceforge.net/ |
27310x |
Calcoo is a scientific calculator designed to provide maximum usability. Its features bitmapped button labels and display digits to improve readability, no double-function buttons, undo/redo buttons, copy/paste interaction with the clipboard, both RPN and algebraic modes, two memory registers with displays, displays for Y, Z, and T registers, and tick marks to separate thousands. Calcoo is written in C.
|
|
R |
http://www.r-project.org/ |
26776x |
R is a language and environment for statistical computing and graphics.
|
|
Sun Clock |
ftp://ftp.ac-grenoble.fr/[..]/geosciences/ |
25063x |
This program is a clock that shows which portion of the Earth's surface is illuminated by the Sun. There is a large choice of vector fully scalable maps. Sun Clock has an unique range of options including display of all major cities throughout the world, also with coordinates, local time and much more.
|
|
galculator |
http://galculator.sourceforge.net/ |
23469x |
a scientific calculator. Intended to support different bases (DEC/HEX/OCT/BIN) and angles (DEG/RAD/GRAD) soon, it already features a wide range of mathematical (basic arithmetic operations, trigonometric functions, etc) and other useful functions at the moment
|
|
Celestia |
http://www.shatters.net/celestia |
23421x |
Celestia is a real-time space simulation that lets you experience our universe in three dimensions. Unlike most planetarium software, Celestia doesn't confine you to the surface of the Earth. You can travel throughout the solar system, to any of over 100,000 stars, or even beyond the galaxy. All travel in Celestia is seamless; the exponential zoom feature lets you explore space across a huge range of scales, from galaxy clusters down to spacecraft only a few meters across. A 'point-and-goto' interface makes it simple to navigate through the universe to the object you want to visit. Although it's not absolutely required, the program will be vastly more enjoyable if you also have a 3D graphics accelerator in your computer.
|
|
Ghemical |
http://www.uku.fi/[..]ine/ghemical/ |
22751x |
Ghemical is a molecular modelling software package with GUIs for both GLUT and GTK+, and some nice 3D-visualization tools. It can do all-atoms molecular mechanics and dynamics, athough the current parameter set is still experimental. It can also be used as a graphical front-end for the quantum chemistry program MPQC. Ghemical is written in C++, and hopefully offers a good framework for a generic freeware molecular modelling tool.
|
|
xd3d |
http://www.cmap.polytechnique.fr/~jouve/xd3d/ |
22064x |
xd3d is a simple scientific visualization tool. It can plot 2D and 3D meshes, with shadowing, contour plots, vector fields, iso-contour (3D), as well as 3D surfaces z=f(x,y) defined by an algebraic expression or a cloud of points.
|
|
gretl |
http://gretl.sourceforge.net/ |
19984x |
This is excelent statistical analysys tool. By excelent I mean: profesors and doctors in econometric use it to do science.
|
|
Planets 3D |
http://planets3d.sourceforge.net/ |
19066x |
A graphical tool for the simulation of the solar system, based on gravity power calculations.
|
|
Gnome Predict |
http://groundstation.sourceforge.net/?gpredict |
17827x |
Gnome Predict is a real time satellite tracking program for GNOME. The user can view the satellites in lists or on maps which can be saved and printed. Detailed information about upcoming passes can be predicted as well. The tracking routines are based on John Magliacane's text-based satellite tracking program Predict.
|
|
Ksetiwatch |
http://ksetiwatch.sf.net/ |
14436x |
Ksetiwatch is a monitoring tool for the SETI@home distributed computing project.
|
|
Kastrolog |
http://www.paganlink.org/[..]astrolog.html |
14384x |
Kastrolog is a KDE port of Astrolog, Walter D. Pullen's famous, powerful and free astrology software. It can, for a given time and place, compute the planets and stars positions, display the corresponding astrological chart and print it. Kastrolog can also compute the transits and progressions relatively to the natal chart, compare two charts or more, make an astro-synastry chart, display a chart mid-points, sort the aspects by influence, animate a chart, etc.
|
|
gtapecalc |
http://gtapecalc.sourceforge.net/ |
12360x |
Gtapecalc is a simple calculator with the added feature of an output window that displays calculations like the paper tape of a desktop calculator.
|
|