-->

CUC³ covers an exceptionally broad range of topics in theoretical and quantum chemistry.

COQ is a Proof Assistant for a Logical Framework known as the Calculus of Inductive Constructions.

Concalc is a calculator for the Linux console.

How to customize a repository on a USB key.

How can I install software or packages without Internet (offline).

Lemon is an open source point of sale for Linux and other unix systems.

Cadabra is a computer algebra system (CAS) designed specifically for the solution of problems encountered in field theory.

The Basic Linear Algebra Communication Subprograms constitute a message-passing library designed for linear algebra.

Random Posts

  • Just like the Loch Ness Monster, you may have heard the rumors about Google Drive.
    13.05.2012 - 0 Comments
    Just 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…
  • MusiScore compose music with the help of your computer
    13.03.2012 - 0 Comments
    MuseScore 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…
  • Tomahawk is a free, cross-platform and open source music player that combines your local library of music with those of several popular music streaming services.
    08.08.2012 - 0 Comments
    Tomahawk 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…
  • ACL2 is a software system consisting of a programming language, an extensible theory in a first-order logic.
    27.02.2014 - 0 Comments
    ACL2 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…
  • EDE small and fast desktop environment.
    19.05.2012 - 0 Comments
     EDE 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…
  • Fermi Linux LTS is in essence RedHat Enterprise, recompiled
    21.10.2009 - 0 Comments
    Fermi 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…
  • Guides and tutorials for Zorin OS: System Requirements.
    16.11.2023 - 0 Comments
     Find 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…
  • Ultimate Edition: the goal of the project is to create a complete, seamlessly integrated, visually stimulating, and easy-to-install operating system.
    22.10.2010 - 0 Comments
    Ultimate 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…
  • Entagged is a audiofile tagger, using the freedb online database for the retrieval of the tags.
    18.05.2012 - 0 Comments
    Entagged 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…
  • Tribal Trouble is a real-time strategy video game for Linux.
    01.02.2012 - 0 Comments
    Tribal 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…

Recent Posts

Recent Posts Widget

Popular Posts

Labels

Archive

page counter follow us in feedly
 
Copyright © 2014 Linuxlandit & The Conqueror Penguin
-->