Proof Substitute for the Humdrum Toolkit

Programmes connexes

• The Tab Completion Grade Book Gratuit

  Un programme Java pour la gestion des livres de notes des enseignants. Prend en charge les notes pondérées, les affectations arbitrairement imbriquées, les cours multiples, les étudiants multiples, une vue par élève qui ne r

• BioSap Gratuit

  Ensemble intégré d’accélérateurs de sélection oligonucléotide BioSap-Blast. BioSap sélectionne des oligos uniques pour les microarrays en détectant les paramètres définis par l’utilisateur et en exécutant des instances parall

• EnotifWiki Gratuit

  EnotifWiki ajoute une notification par e-mail au moteur MediaWiki de Wikipedia : lorsque les pages sont modifiées ou créées, un e-mail ("enotif") est automatiquement envoyé aux utilisateurs qui regardent. Liens rapi

• Gtk+/CLI IDP Interface Gratuit

  Ce projet fournit des logiciels à utiliser avec des dictionnaires iDP sousLinux et d’autres Unices. Ce projet ne redistribue pas les dictionnaires, maisils sont 95% gratuit, de sorte que vous pouvez les télécharger à part

• MODELbuilder Gratuit

  MODELbuilder est une application qui fournit un moyen graphique de dériver différents modèles à partir de données empiriques et de simulation.

• SPAS Gratuit

  SPAS (Structure Property Analysis Software) est un logiciel de relation structure-propriété quantitative (QSPR).

• CHALICE Gratuit

  Relier les autorités historiques aux liens, contextes et entités. CHALICE est un gazetteer historique pour le Royaume-Uni, publié sous le nom de Linked Data et lié à d’autres sources largement utilisées d’informations de réfé

• Finite Element LibrarY eXperiment Gratuit

  FELYX est un code FE/FEM orienté objet écrit en C++. Il fournit les éléments les plus communs pour l’analyse structurale, la réduction de bande passante, un solveur rapide d’horizon, quelques solveurs itératifs et une interfa

• Java Linear Algebra Library Gratuit

  JLAL est un paquet d’algèbre linéaire pour java, fournissant une API facile à utiliser orientée objet. La bibliothèque prend en charge les opérations arithmétiques, l’inversion, diverses décompositions matricielles, la soluti

• EZMWeb Gratuit

  EZMWeb est un système d’intégration et de recherche de bioinformation open source basé sur le Web. Les utilisateurs peuvent rechercher l’information intégrée sur les enzymes. Il met en œuvre l’analyse de la corrélation entre