Famous Explorers Prove Theory

OverLook is a branch of the famous e-mail client SquirrelMail, transformed for being an usable application also by a less expert user, accustomed using other tools for the management of his mail. OverLook Webmail has not been only changed the skin, but the usability of the entire interface,...

MRTG::Parse is a Perl extension for parsing and utilizing the logfiles generated by the famous MRTG Tool. SYNOPSIS use strict; use MRTG::Parse; my $mrtg_logfile = "/var/www/htdocs/mrtg/eth0.log"; my $period = "day"; my $desired_unit = "GB"; my ($traffic_incoming, $traffic_outgoing,...

ACL2 is a programming language in which you can model computer systems and a tool to help you prove properties of those models. ACL2 stands for "A Computational Logic for Applicative Common Lisp". It is an "industrial-strength" version of the NQTHM or Boyer/Moore theorem prover, and has been...


Platforms: *nix

Statistics::SDT Perl package contains signal detection theory measures of sensitivity and response-bias. SYNOPSIS use Statistics::SDT; $sdt = Statistics::SDT->new( { hits => 50, signal_trials => 50, false_alarms => 17, noise_trials => 25, correct => 2, } ); $d =...


Platforms: *nix

Practica Musica, Ars Nova's award-winning music theory and ear training software, has received its most significant upgrade to date: Version 4. Now compatible with both Windows and Macintosh, Practica Musica 4 has many new features that make it the new standard for music education software.Fully...


Platforms: Mac

Understand music theory and become a better musician! Learning music theory with Musition is fun and easy. All the fundamentals are covered - chords, note reading and writing, scales, rhythm, transposition, terms, symbols, instruments and much more! Each topic has a carefully graded sequence...


Platforms: Windows

religious screensaver with quotes from famous people.


Platforms: Windows

PARI/GP is a widely used computer algebra system designed for fast computations in number theory (factorizations, algebraic number theory, elliptic curves...), but also contains a large number of other useful functions to compute with mathematical entities such as matrices, polynomials, power...


Platforms: Windows

* a game environment to play a starter version of a famous TCG against a computer AI * - it will be expandable without haveing to change the actual code (provided no basic game mechanism changes) o - in order to achieve that cards will be scriptable * - AI players can be implemented by users...


Platforms: Mac

Provide a computer environment which will facilitate finding patterns and relationships between chords, scales, intervals, keys in an automated manner. In it's current form it may be used as a music theory educational tool for guitar and piano.


Platforms: Windows, Mac, Linux

Ear training and music theory practice for all musicians and music students EarMaster Pro is the ideal method to train your ear and practice music theory. With 651 progressive lessons divided into 12 exercise areas from beginner level to very advanced, it will beat your aural skills into shape...


Platforms: Mac

? The most flexible and highest rated app on the market - our reviews say it all! ? ? 2012 ready ? Latest Full OFFICIAL DSA Theory Test Revision Question Data Bank ? ? Lowest Price Ever! ? Driving Theory Test (UK) uses the Latest Offi


Platforms: Mac

? In collaboration with Camrider: one of the country's Finest Rider Training Companies! ? Motorcycle Theory Test (UK) uses the Latest Official DSA highway code revision question data bank in an intuitive, powerful way and is one of the most fle


Platforms: Mac

? In collaboration with Camrider: one of the country's Finest Rider Training Companies! ? FREE Lite Version of Motorcycle Theory Test (UK) uses the Latest Official DSA highway code revision question data bank in an intuitive, powerful way and i


Platforms: Mac

Ever wonder why certain melodies stick with you forever while others trigger an intense emotional response? Why does this happen? Well, it’s not accidental! In this tutorial you’ll learn the theory and the art of melody writing... Melodies are magica


Platforms: Mac

Chords infuse music with color and emotion. Learn the theory and magic behind creating chords in this Harmony tutorial by Master Composer and Arranger Gregg Fine. If melody is the story of a song, then harmony is the feeling behind the story. To crea


Platforms: Mac

Understanding song form is essential to songwriting. Learn all how to enhance the power of your songs with macProVideo's music theory expert, Gregg Fine... Think about it: You can't design a successful building without understanding architectur


Platforms: Mac

Travel across Europe as king of the road, a trucker who delivers important cargo across impressive distances! With dozens of cities to explore from the UK, Belgium, Italy, the Netherlands, Poland, and many more, your endurance, skill and speed will all be pushed to their limits. If you've got...


Platforms: Windows

This script computes the strategy oddments for two-player zero-sum games of perfect information. It uses a robust, iterative approximation that can handle dominance, non-square payoff matrices, and games without a saddle-point.


Platforms: Windows, Mac, *nix, Python, BSD Solaris

Gambit is a library of game theory software and tools for the construction and analysis of finite extensive and strategic games. Gambit provides: - A graphical user interface, based upon the wxWidgets library, providing a common interface with native look-and-feel across platforms. - A Python...


Platforms: Windows, Mac, *nix, Python, BSD Solaris