Proof Substitute for the Humdrum Toolkit

관련 프로그램

• The Tab Completion Grade Book 무료

  교사의 학년 도서 관리를위한 자바 프로그램. 가중 성적, 임의로 중첩된 과제, 여러 과정, 여러 학생, 다른 학생에 대한 민감한 정보가 없는 학생별 보기 및 XML 파일 저장소를 지원합니다.

• BioSap 무료

  BioSap-blast 통합 올리고뉴클레오티드 선택 가속기 패키지. BioSap는 사용자 정의 매개 변수를 감지하고 컴퓨팅 엔진에서 Featurama 및 Blast의 병렬 인스턴스를 실행하여 xml 출력 파일을 생성하여 마이크로 어레이에 고유 올리고를 선택합니다.

• EnotifWiki 무료

  EnotifWiki는 위키백과의 MediaWiki 엔진에 전자 메일 알림을 추가합니다: 페이지가 변경되거나 생성되면 전자 메일("enotif")이 자동으로 사용자에게 전송됩니다. 마지막으로 본 버전에 차이 뷰에 대한 빠른 링크. FCKeditor (WYSIWYG)가 포함되어 있습니다.

• Gtk+/CLI IDP Interface 무료

  이 프로젝트는 아래 IDP 사전과 함께 사용할 소프트웨어를 제공합니다리눅스와 다른 유니스. 이 프로젝트는 사전을 재배포하지 않지만 사전을 재배포할 수 있습니다.95% 무료이므로 http://www.june29.com/IDP/ 다운로드할 수 있습니다.

• MODELbuilder 무료

  MODELbuilder는 경험적 및 시뮬레이션 데이터에서 다양한 모델을 파생하는 그래픽 방법을 제공하는 응용 프로그램입니다.

• SPAS 무료

  SPAS(구조 특성 분석 소프트웨어)는 정량적 구조-속성 관계(QSPR) 소프트웨어입니다.

• CHALICE 무료

  링크, 컨텍스트 및 엔터티와 역사 당국을 연결합니다. CHALICE는 영국의 역사적인 장소 이름 관제이며 링크 된 데이터로 게시되고 의미론 웹에서 널리 사용되는 다른 장소 이름 참조 정보 소스와 연결되어 있습니다.

• Finite Element LibrarY eXperiment 무료

  FELYX는 C++로 작성된 개체 지향 FE/FEM 코드입니다. 구조 분석, 대역폭 감소, 빠른 스카이라인 솔버, 일부 반복솔버 및 상용 FEA 패키지 ANSYS에 대한 인터페이스를 위한 가장 일반적인 요소를 제공합니다.

• Java Linear Algebra Library 무료

  JLAL은 자바용 선형 대수 패키지로 개체 지향 API를 사용하기 쉽습니다. 라이브러리는 산술 연산, 반전, 다양한 행렬 분해, 선형 방정식 용액 등을 지원합니다.

• EZMWeb 무료

  EZMWeb은 오픈 소스 웹 기반 의 생체 정보 통합 및 검색 시스템입니다. 사용자는 통합 효소 정보를 검색할 수 있습니다. 그것은 다른 효소 사이의 상관 관계의 분석을 구현, 자바 애플릿을 통해 시각화 된 결과를 제공합니다.