Proof Substitute for the Humdrum Toolkit

Gerelateerde programma's

• The Tab Completion Grade Book Gratis

  Een Java-programma voor het beheren van leraren'grade boeken. Ondersteunt gewogen cijfers, willekeurig geneste opdrachten, meerdere cursussen, meerdere studenten, een per student-weergave die geen gevoelige informatie over a

• BioSap Gratis

  BioSap-Blast Geïntegreerde Oligonucleotide Selection Accelerator Pakket. BioSap selecteert unieke oligo's voor microarrays door door de gebruiker gedefinieerde parameters te detecteren en parallelle exemplaren van Featurama e

• EnotifWiki Gratis

  EnotifWiki voegt e-mailmelding toe aan MediaWiki-engine van Wikipedia: wanneer pagina's worden gewijzigd of gemaakt, wordt een e-mail ("enotif") automatisch naar gebruikers verzonden. Snelle links naar verschil weer

• Gtk+/CLI IDP Interface Gratis

  Dit project biedt software voor gebruik met IDP-woordenboeken onderLinux en andere Unices. Dit project herverdeelt woordenboeken niet, maarze zijn 95% gratis, dus je ze downloaden van http://www.june29.com/IDP/

• MODELbuilder Gratis

  MODELbuilder is een applicatie die een grafische manier biedt om verschillende modellen af te leiden uit empirische en simulatiegegevens.

• SPAS Gratis

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

• CHALICE Gratis

  Historische autoriteiten verbinden met links, contexten en entiteiten. CHALICE is een historische plaatsnaam gazetteer voor het Verenigd Koninkrijk, gepubliceerd als Linked Data en gekoppeld aan andere veel gebruikte bronnen

• Finite Element LibrarY eXperiment Gratis

  FELYX is een objectgeoriënteerde FE/FEM code geschreven in C++. Het biedt de meest voorkomende elementen voor structurele analyse, bandbreedtereductie, een snelle skylineoplosser, enkele iteratieve oplossers en een interface

• Java Linear Algebra Library Gratis

  JLAL is een lineair algebra-pakket voor java, dat een eenvoudig te gebruiken objectgeoriënteerde API biedt. De bibliotheek ondersteunt rekenkundige bewerkingen, inversie, verschillende matrixafledingen, oplossing van lineaire

• EZMWeb Gratis

  EZMWeb is een open source webgebaseerde bio-informatie integratie en zoeksysteem. Gebruikers kunnen zoeken in de geïntegreerde enzyminformatie. Het implementeert de analyse van de correlatie tussen verschillende enzymen, gee