Proof Substitute for the Humdrum Toolkit

Programy pokrewne

• The Tab Completion Grade Book Wolna

  Program Java do zarządzania podręcznikami dla nauczycieli. Obsługuje oceny ważone, dowolnie zagnieżdżone zadania, wiele kursów, wielu uczniów, widok na ucznia, który nie ujawnia żadnych poufnych informacji o innych uczniach,

• BioSap Wolna

  Zintegrowany pakiet akceleratora wyboru oligonukleotydów BioSap-Blast. BioSap wybiera unikalne oligo dla mikromaciech, wykrywając parametry zdefiniowane przez użytkownika i uruchamiając równoległe wystąpienia Featurama i Blas

• EnotifWiki Wolna

  EnotifWiki dodaje powiadomienie e-mail do silnika MediaWiki w Wikipedii: gdy strony są zmieniane lub tworzone, e-mail ("enotif") jest automatycznie wysyłany do obserwujących użytkowników. Szybkie linki do widoków ró

• Gtk+/CLI IDP Interface Wolna

  Projekt ten zapewnia oprogramowanie do używania ze słownikami IDPLinux i inne Unices. Ten projekt nie redystrybuuje słowników, alesą w 95% darmowe, więc można je pobrać z http://www.june29.com/IDP/

• MODELbuilder Wolna

  MODELbuilder to aplikacja, która zapewnia graficzny sposób na czerpanie różnych modeli z danych empirycznych i symulacyjnych.

• SPAS Wolna

  SPAS (Structure Property Analysis Software) jest oprogramowaniem ilościowym qspr (Structure-Property Relationship).

• CHALICE Wolna

  Łączenie władz historycznych z łączami, kontekstami i jednostkami. CHALICE jest historycznym gazetteer placename dla Wielkiej Brytanii, opublikowane jako Linked Data i związane z innymi powszechnie używanymi źródłami informac

• Finite Element LibrarY eXperiment Wolna

  FELYX jest zorientowanym obiektowo kodem FE/FEM napisanym w języku C++. Zapewnia najczęstsze elementy do analizy strukturalnej, redukcji przepustowości, szybkiego solvera panoramy, niektórych iteracyjnych solverów i interfejs

• Java Linear Algebra Library Wolna

  JLAL to liniowy pakiet algebry dla javy, zapewniający łatwy w użyciu zorientowany obiektowy interfejs API. Biblioteka obsługuje operacje arytmetyczne, inwersję, różne rozkłady macierzy, rozwiązanie równań liniowych i inne.

• EZMWeb Wolna

  EZMWeb to internetowy system integracji i wyszukiwania opartych na otwartym rynku internetowym. Użytkownicy mogą przeszukiwać zintegrowane informacje enzymatycznye. Implementuje analizę korelacji między różnymi enzymami, daj