Proof Substitute for the Humdrum Toolkit Files

Status: Beta

Brought to you by: mcennis

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size
kern-proof	2007-07-05
proof0.3.1.jar	2011-02-05	386.5 kB
census0.3.1.jar	2011-02-05	376.4 kB
Humdrum0.3.1.zip	2011-02-05	432.1 kB
proof-0.1.0.1.zip	2011-01-25	317.5 kB
ProofCode0-1.zip	2011-01-18	317.5 kB
Totals: 6 Items		1.8 MB

You Might Also Like

Our Free Plans just got better! | Auth0 by Okta

With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your secuirty. Auth0 now, thank yourself later.

Try free now

Build enterprise-ready GenAI experiences with MongoDB Atlas

Combine the power of Google Cloud's robust infrastructure with the flexibility and scalability of MongoDB Atlas.

MongoDB Atlas is a unified developer platform that enables you to confidently accelerate the deployment of GenAI-powered applications. Additionally, when purchased on Google Cloud Marketplace, you pay for only the resources you use with no upfront commitment.

Get Started

Recommended Projects

On-demand Metadata Extraction Network
OMEN (On-demand Metadata Extraction Network) is a tomcat based system that allows external users (music information researchers) to request from participating libraries the extraction of features from music archives without violating copyright.
Pentaho
End to end data integration and analytics platform
Phatsoft JoyMouse
A lightweight utility to control the mouse cursor with a joystick, written in C++ for windows.
AllToMP3
Download and Convert YouTube, SoundCloud & Spotify in MP3