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

Other Useful Business Software

Gen AI apps are built with MongoDB Atlas

The database for AI-powered applications.

MongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.

Start Free

Our Free Plans just got better! | Auth0

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 security. Auth0 now, thank yourself later.

Try free now

Recommended Projects

Loudspeaker Design Calculations Toolkit
LDCT is a cross-platform tool for common speaker design calculations.
Speech Signal Processing Toolkit (SPTK)
SPTK is a suite of speech signal processing tools for UNIX environments, e.g., LPC analysis, PARCOR analysis, LSP analysis, PARCOR synthesis filter, LSP synthesis filter, vector quantization techniques, and other extended versions of them.
jAudio
jAudio is a project implementing a number of common feature extraction algorithms for analyzing audio in java. Output is either in Weka's ARFF format or the ACE format. Can be used either as a GUI application, command-line application, or embedded. The primary repository is on github (dmcennis) which pushes to this projects github repository.
SpectrumViewer for Windows
Continuous display of audio spectrum from PC input or wave file
VLevel
VLevel is a dynamic compressor which amplifies the quiet parts of music. It uses a look-ahead buffer, so the changes are gradual and the audio never clips. It is a command line filter and a LADSPA plugin, so it works with XMMS.

Proof Substitute for the Humdrum Toolkit Files

Get an email when there's a new version of Proof Substitute for the Humdrum Toolkit