Search Results for "desktop gui x11"

The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.

SCRAM is a free and open source probabilistic risk analysis tool. The tool is under development to include fault tree, event tree, common cause, and other standard analyses.

OpenAxiom is an open source Computer Algebra System. It offers an interactive environment, an expressive programming language, a compiler, a large set of mathematical libraries of interest to researchers and practitioners of computational sciences.

This is small program which allows the users to create a phishing web page in a few clicks. And also allows the user to download the Log file via its unique FTP download feature. NOTICE : THIS PROGRAM IS CREATED FOR EDUCATIONAL PURPOSE ONLY AND HENCE MUST BE USED FOR EDUCATIONAL PURPOSE ONLY. YOU ARE NOT ALLOWED TO USE IT FOR ANY KIND OF CYBER CRIME. *USE THIS PROGRAM ONLY IF YOU AGREE THE ABOVE MENTIONED T&C.

MOTET is a tiny, fast super-encipherment application written in C, featuring the new CSPRNG/stream ciphers MOTE and BEDBUG in each of their three variants, as well as the "gold standard" among ciphers, ISAAC. MOTET brings multiple levels of encryption, including a ciphertext-hash, a Vigenere mixing function, a choice of Caesar MOD or Caesar MIX ciphering on the primary key-stream, plus a deeply scrambled "outer shell" as a final super-encryption stage. A unique nonce IV guarantees that...

.... NOW INSTALLATION (or compilation) IS NEEDED! QueLang Survey Manager can concentrate Results of answered Questionnaires in a single database for mass statistical processing. Includes: -full documentation -GUI Interface -CLI Interface -Survey Manager TODO: - Write a decent parser (I have to study for that) - Add some more macros - Answer images (instead of text only) -You can always tell me what you want me implement, and I will include it (if possible) in the next update!

cygWinik is a cygwin distro that users can install in Windows like other applications program. cygWinik is unix like and users can select program from menus. Users can select WM such as KDE, Gnome, Icewm, Wmaker, Xfce etc. cygWinik is a new Winik

Avenzoar is a one-year exploration of renal cell carcinoma morphology and its related single nucleotide polymorphisms (SNPa) as a method of automating diagnosis of cancer by using a computer-aided decision tree controlled by analytical statistics.

The fast powerful CALC is a desktop scientific calculator, still is under development and tests. The objective is offer a good and easy to use mathematical tool. I hope you enjoy it.

JOELib/JOELib2 is a cheminformatics library which supports SMARTS substructure search, descriptor calculation, processing/filtering pipes, conversion of file formats, 100% pure Java, and interfaces to external programs (e.g. Ghemical) are available.

Projek Munsyi is a project to provide localization (L10N) for the Bahasa Melayu (Malay language) (ms) especially for the GNU software. The goal of this project is to become the hub for the Malay language team at Translation Project.