Sponsored Links:
Axiom Computer Algebra System (Popularity:  )
Savannah Free Software project for revival of Axiom as open source.
Category: Science\Math\Algebra\Software
|
|
Proof General (Popularity: )
Emacs based generic interface for theorem provers.
Category: Science\Math\Logic and Foundations\Computational Logic
|
|
Malayalam on GNU/Linux (Popularity: )
Project aimed at supporting Malayalam language on GNU/Linux for the user interfaces like X, GNOME ...
Category: Science\Social Sciences\Linguistics\Languages
|
|
PSPP (Popularity: )
Savannah page with mailing lists, CVS repository, bugs track list, task manager.
Category: Science\Math\Statistics\Software
|
Emacs
