Proof Substitute for the Humdrum Toolkit

Các chương trình liên quan

• The Tab Completion Grade Book Miễn phí

  Một chương trình Java để quản lý sách lớp của giáo viên. Hỗ trợ điểm trọng số, bài tập lồng nhau tùy ý, nhiều khóa học, nhiều sinh viên, chế độ xem cho mỗi sinh viên không tiết lộ thông tin nhạy cảm về các sinh viên khác và

• BioSap Miễn phí

  Gói tăng tốc lựa chọn Oligonucleotide tích hợp BioSap-Blast. BioSap chọn oligos duy nhất cho microarrays bằng cách phát hiện các thông số do người dùng xác định và chạy các phiên bản song song của Featurama và Blast trên các

• EnotifWiki Miễn phí

  EnotifWiki thêm thông báo e-mail vào công cụ MediaWiki của Wikipedia: khi các trang được thay đổi hoặc tạo, một e-mail (&enotif") sẽ tự động được gửi đến người dùng xem. Liên kết nhanh đến chế độ xem khác biệt, đ

• Gtk+/CLI IDP Interface Miễn phí

  Dự án này cung cấp phần mềm để sử dụng với các từ điển IDP theoLinux và Unices khác. Dự án này không phân phối lại từ điển, nhưnghọ là 95% miễn phí, vì vậy bạn có thể tải về chúng từ http://www.june29.com/IDP/

• MODELbuilder Miễn phí

  MODELbuilder là một ứng dụng cung cấp một cách đồ họa để lấy được các mô hình khác nhau từ dữ liệu thực nghiệm và mô phỏng.

• SPAS Miễn phí

  SPAS (Phần mềm phân tích thuộc tính cấu trúc) là một phần mềm quan hệ cấu trúc-tài sản định lượng (QSPR).

• CHALICE Miễn phí

  Kết nối các cơ quan lịch sử với các liên kết, bối cảnh và thực thể. CHALICE là một công báo tên địa danh lịch sử cho Vương quốc Anh, được xuất bản dưới dạng Dữ liệu được liên kết và được liên kết với các nguồn thông tin tham

• Finite Element LibrarY eXperiment Miễn phí

  FELYX là một đối tượng theo định hướng FE/FEM mã được viết bằng C ++. Nó cung cấp các yếu tố phổ biến nhất để phân tích cấu trúc, giảm băng thông, giải quyết đường chân trời nhanh, một số giải pháp lặp đi lặp lại và giao diện

• Java Linear Algebra Library Miễn phí

  JLAL là một gói đại số tuyến tính cho java, cung cấp một API hướng đối tượng dễ sử dụng. Thư viện hỗ trợ các hoạt động số học, đảo ngược, phân hủy ma trận khác nhau, giải pháp của phương trình tuyến tính, và nhiều hơn nữa.

• EZMWeb Miễn phí

  EZMWeb là một hệ thống tìm kiếm và tích hợp thông tin sinh học dựa trên web mã nguồn mở. Người dùng có thể tìm kiếm thông tin enzyme tích hợp. Nó thực hiện phân tích mối tương quan giữa các enzyme khác nhau, cho kết quả trực