Submit Software
  1. Home
  2. Windows
  3. Other
  4. Proof Substitute for the Humdrum Toolkit

Proof Substitute for the Humdrum Toolkit

License: Free ‎File size: N/A
‎Users Rating: 5.0/5 - ‎1 ‎votes
Download

Reimplementation of the proof command from the Humdrum toolkit in Java

VERSION HISTORY

  • Version files posted on 2011-02-05
    Several fixes and updates
  • Version N/A posted on 2011-02-05

Program Details

Related Programs

  • The Tab Completion Grade Book Free

    A Java program for managing teachers' grade books. Supports weighted grades, arbitrarily nested assignments, multiple courses, multiple students, a per student view that reveals no sensitive information about other students,

  • BioSap Free

    BioSap-Blast Integrated Oligonucleotide Selection Accelerator Package. BioSap selects unique oligos for microarrays by detecting user-defined parameters and running parallel instances of Featurama and Blast on compute engines

  • EnotifWiki Free

    EnotifWiki adds e-mail notification to MediaWiki engine of Wikipedia: when pages are changed or created, an e-mail ("enotif") is automatically sent to watching users. Quick links to difference views, to last seen ve

  • Gtk+/CLI IDP Interface Free

    This project provides software to use with IDP dictionaries underLinux and other Unices. This project doesn't redistribute dictionaries, butthey are 95% free, so you can download them from http://www.june29.com/IDP/

  • MODELbuilder Free

    MODELbuilder is an application that provides a graphical way to derive various models from empirical and simulation data.

  • SPAS Free

    SPAS (Structure Property Analysis Software) is a Quantitative Structure-Property Relationship (QSPR) software.

  • CHALICE Free

    Connecting Historical Authorities with Links, Contexts and Entities. CHALICE is a historic placename gazetteer for the UK, published as Linked Data and linked to other widely-used sources of placename reference information on

  • Finite Element LibrarY eXperiment Free

    FELYX is an object oriented FE/FEM code written in C++. It provides the most common elements for structural analysis, bandwidth reduction, a fast skyline solver, some iterative solvers and an interface to the commercial FEA p

  • Java Linear Algebra Library Free

    JLAL is a linear algebra package for java, providing an easy to use object-oriented API. The library supports arithmetic operations, inversion, various matrix decompositions, solution of linear equations, and more.

  • EZMWeb Free

    EZMWeb is an open source web-based bioinformation integration and search system. Users can search the integrated enzyme information.It implements the analysis of correlation between different enzymes,gives its visualized res