Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 956 Categories, Downloaded 50.224.362 Times

Macintosh Software / Multimedia & Graphics

Proof Substitute for the Humdrum Toolkit 0.3.1

Company: kern-proof.sourceforge.net
Date Added: July 08, 2012  |  Visits: 395

Proof Substitute for the Humdrum Toolkit

Report Broken Link
Printer Friendly Version


Product Homepage
Download (48 downloads)



Reimplementation of the proof command from the Humdrum toolkit in Java

Requirements: No special requirements
Release Date: July 08, 2012
Platforms: Windows, Mac, Linux
Users rating: 0/10

License: Freeware Size: 367.54 KB
USER REVIEWS
More Reviews or Write Review


PROOF SUBSTITUTE FOR THE HUMDRUM TOOLKIT RELATED
Gaming Utilities  -  Blackjack For The Hopelessly Luckless 1.0
Blackjack For The Hopelessly Luckless is a blackjack card game. Blackjack For The Hopelessly Luckless is built with the Qt toolkit that also offers various advice options for helping those who need help when the stakes are high.. Get Blackjack... 		440.32 KB  
Security Tools  -  Secure Storage service for the gLite middleware 1.0.0-4 (KeystoreServer)
Secure Storage service for the gLite middleware project provides users with a set of tools to store in a secure way and in an encrypted format confidential data (e.g. medical or financial data) on the grid storage elements. The data stored using... 		2.4 MB  
3D Graphic Tools  -  Formulas Rendering Plug-In for the Gimp 2 0.9.7
Formulas Rendering Plug-In for the Gimp 2 is a simple plugin that allows you to change the values of each color channel of each pixel of a layer by using mathematical expressions. It is able to handle RGB* and Gray* images. Available operators... 		163.84 KB  
Arcade Style Games  -  Blinkensisters - Hunt for the Lost Pixels 0.4
Blinkensisters - Hunt for the Lost Pixels is a Parallax-style 2D scrolling game. Blinkensisters is a new 2D scrolling gaming system for Linux, MacOSX, Windows and POSIX-compatible Unix-Systems (every platform that can run SDL). You can even... 		17.8 MB  
Games  -  My Kingdom for the Princess II for Mac OS 1.0
Follow Arthur and Helen on a grand new adventure in My Kingdom for the Princess II, the highly anticipated sequel to the award-winning game. Princess Helen and Sir Arthur decide to go on a honeymoon after their glorious wedding when adversity... 		92 MB  
Screen Savers  -  Osho Inner Peace for the world 2.0
Osho Inner Peace for the world is a small, animated screensaver specially designed to bring some peace to your desktop. If you are peaceful the whole world becomes peaceful to you. It is just a reflection. Whatsoever you are is reflected all... 		 
Utilities  -  The XE Toolkit for Linux 1.2
The XE Toolkit is a multi-platform, network-aware, secure performance monitoring solution for tactical analysis of enterprise computing systems. 		1.15 MB  
Multimedia & Graphics  -  The GLOW Toolkit 104
The GLOW Toolkit is a cross-platform user interface framework for building interactive applications using OpenGL or similar APIs. It provides an object-oriented API and an extensible library of cross-platform widgets. 		935.45 KB  
Network Monitors  -  The Network Toolkit 1.0
The Network Toolkit - Free Edition is a fully functional version CACE Technologies Network Toolkit, with the same console and the ability to run from CD or USB pen drive. However, it contains a limited set of tools compared to the Full Edition.... 		6.05 MB  
Virus Removers  -  AntispamSniper for The Bat! Free 3.2.7.1
Professional antispam plug-in for The Bat! and Voyager. The unique combination of several methods for automatic email classification shows excellent filtering quality for all kinds of spam, including graphical spam with random text. 		1.86 MB  
NEW DOWNLOADS IN MACINTOSH SOFTWARE, MULTIMEDIA & GRAPHICS
Macintosh Software  -  EasyEDA PCB Designer for MacOS 2.0.0
EasyEDA, a great web based EDA(Electronics Design Automation) tool, online PCB tool, online PCB software for electronics engineers, educators, students, makers and enthusiasts. Theres no need to install any software. Just open EasyEDA in any... 		34.4 MB  
Macintosh Software  -  VideoSolo Video to GIF Converter (Mac) 1.0.12
How to make a GIF? VideoSolo Free Video to GIF Converter for Mac supports all popular video files including MP4, AVI, MOV, WMV, FLV, M4V, etc. You can easily turn MP4/AVI/MOV/WMV/FLV/M4V to GIF animation on Mac and share your GIFs with your... 		46.51 MB  
Macintosh Software  -  VideoSolo Free Video Converter (Mac) 1.0.18
VideoSolo Free Video Converter for Mac is a fast, powerful and easy-to-master video converter. Its main purpose is to convert video files from one format into another. It is able to convert video and audio files in 300+ formats on Mac for totally... 		75.29 MB  
Macintosh Software  -  ManyCam for Mac 6
ManyCam is a free Webcam software and a screen recorder for anyone to use. Several feature enhancements are included within ManyCam to produce a professional quality live video production. It can connect a desktop, smartphone, tablet and live... 		90.49 MB  
Macintosh Software  -  MacX Free Rip DVD to QuickTime for Mac 4.1.9
MacX Free Rip DVD to QuickTime for Mac is totally free yet versatile DVD to QuickTime ripper software for Mac users to free rip both normal and copy-protected DVDs to QuickTime MOV, MP4 on Mac with excellent image quality. Besides the powerful... 		36.3 MB  
Multimedia & Graphics  -  DVDFab HD Decrypter for Mac 11.0.5.4
DVDFab HD Decrypyer for Mac, working as a DVD decrypter and Blu-ray decrypter, is a cost-free and simplified version of DVDFab DVD Copy and DVDFab Blu-ray Copy, which can copy some old DVDs and Blu-rays onto your Mac, in "Full Disc" or "Main... 		324.52 MB  
Multimedia & Graphics  -  MacX Free DVD to MP4 Converter for Mac 4.2.4
MacX Free DVD to MP4 Converter for Mac is an innovative yet free DVD to MP4 ripper software for Mac users without any functional limitation or watermark. It is able to convert DVDs including copy protected DVD movies to MP4, FLV, MP3 music on Mac... 		49.75 MB  
Multimedia & Graphics  -  MacX Free iPad Ripper for Mac 4.1.9
MacX Free iPad Ripper for Mac is the best free Mac iPad ripper which can help Mac users to free rip DVD including any copy protected DVD movies to iPad 2, iPad 3, iPad Mini, iPad Pro, DVD to iPhone video and audio formats for playback without any... 		36.24 MB  
Multimedia & Graphics  -  MacX Free DVD to iPad Ripper for Mac 4.1.9
MacX Free DVD to iPad Ripper is a powerful yet free Mac DVD to iPad ripper software which supports ripping both homemade and protected DVD films to iPad in MP4, H.264, MPEG-4 format for free on Mac. Besides ripping DVD to iPad, it also can... 		36.24 MB  
Multimedia & Graphics  -  MacX Convert DVD to MOV for Mac Free 4.2.1
MacX Convert DVD to MOV for Mac Free Edition is an excellent yet free DVD to MOV converter software which can help Mac users rip and convert DVD to MOV, DVD to MP4 with perfect output quality and high conversion speed on Mac OS. Besides, this Mac... 		36.25 MB  
Home  | About Us  | Privacy  | Disclaimer  | Link to Us  | Contact Us  | Top Searches  | Submit Software  | Submit Site  | Percentage Calculator  | Text Compare
File Transit © 1998-2024