CUC³ covers an exceptionally broad range of topics in theoretical and quantum chemistry.
Education,
Math,
Repository,
Science,
COQ is a Proof Assistant for a Logical Framework known as the Calculus of Inductive Constructions.
Education,
Math,
Repository,
Science,
How to customize a repository on a USB key.
Repository,
Security,
System,
Ubuntu,
Ubuntu Derivatives,
Utility,
How can I install software or packages without Internet (offline).
System,
Ubuntu,
Ubuntu Derivatives,
Utility,
Circlepack is a c program for the creation, display, manipulation, and storage of circle packings using the x window system.
Math,
Science,
Scientific Distributions,
Statistical Software,
Top 10 blog posts for February 2014 from Linuxlandit & The Conqueror Penguin.
Accessible Applications,
Advertising and Marketing,
Android,
Apple,
Blogger,
CentOS,
Chat,
Compiz Fusion,
Data storage,
Databases,
Docks Manager,
Mozilla Firefox,
Multimedia,
Music,
Version Control System,
Virtualization,
Window Manager,
Window System,
Cadabra is a computer algebra system (CAS) designed specifically for the solution of problems encountered in field theory.
Debian,
Fedora,
Math,
OpenSUSE,
Repository,
Science,
Scientific Distributions,
Software Packages,
Ubuntu,
The Basic Linear Algebra Communication Subprograms constitute a message-passing library designed for linear algebra.
Math,
Repository,
Science,
Software Packages,
Random Posts
- 13.05.2012 - 0 CommentsJust like the Loch Ness Monster, you may have heard the rumors about Google Drive. It turns out, one of the two actually does exist. Today, we’re introducing Google Drive—a place where you can create, share, collaborate, and keep all of your…
- 13.03.2012 - 0 CommentsMuseScore is a free cross-platform WYSIWYG music notation program that offers a cost-effective alternative to commercial programs such as Sibelius, Finale and Capella.You can print beautifully engraved sheet music or save it as PDF or MIDI…
- 08.08.2012 - 0 CommentsTomahawk is a music player that fundamentally changes the way music is consumed and shared. It decouples the name of the song from the source it was shared from - and fulfills the request using all of your available sources. This creates a…
- 27.02.2014 - 0 CommentsACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models. ACL2 is part of the Boyer-Moore family of provers, for which its authors have received the 2005 ACM Software System…
- 19.05.2012 - 0 CommentsEDE is small desktop environment built to be responsive, light in resource usage and to have familiar look and feel. It runs on Linux, BSD, Solaris, Minix, Zaurus and even on XBox. Previous 1.x versions were based on a modified version of…
- 21.10.2009 - 0 CommentsFermi Linux LTS is in essence RedHat Enterprise, recompiled. What we have done is taken the source code from RedHat Enterprise (in srpm form) and recompiled them. Fermi Linux is the generic name for linux distributions that are created and used…
- 16.11.2023 - 0 CommentsFind out if your computer is capable of running Zorin OS and which edition is better suited for your computer.These are the minimum hardware specifications required to install Zorin OS on a computer. If your computer doesn’t meet these…
- 22.10.2010 - 0 CommentsUltimate Edition, first released in December 2006, is a fork of Ubuntu. The goal of the project is to create a complete, seamlessly integrated, visually stimulating, and easy-to-install operating system. Single-button upgrade is one of several…
- 18.05.2012 - 0 CommentsEntagged is a audiofile tagger, using the freedb online database for the retrieval of the tags. It supports custom file renaming from tags (with any directory stucture) and vice versa. Supports: mp3, ogg, flac, mpc, ape, wma. Entagged 0.35…
- 01.02.2012 - 0 CommentsTribal Trouble is a real-time strategy video game for Linux. The game pits natives of tropical islands against invading Vikings. The game was developed by independent studio Oddlabs, and has won several awards, including four top 5 positions in…