Proof Substitute for the Humdrum Toolkit

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