Proof Substitute for the Humdrum Toolkit

หลักสูตรที่เกี่ยวข้อง

• The Tab Completion Grade Book ฟรี

  โปรแกรม Java สําหรับการจัดการหนังสือเกรดของครู รองรับเกรดถ่วงน้ําหนักการมอบหมายที่ซ้อนกันโดยพลการหลายหลักสูตรนักเรียนหลายคนมุมมองต่อนักเรียนที่เปิดเผยข้อมูลที่ละเอียดอ่อนเกี่ยวกับนักเรียนคนอื่น ๆ และการจัดเก็บไฟล์ XML

• BioSap ฟรี

  แพคเกจตัวเร่งการเลือก Oligonucleotide แบบบูรณาการ BioSap-Blast BioSap เลือก oligos ที่ไม่ซ้ํากันสําหรับ microarrays โดยการตรวจจับพารามิเตอร์ที่ผู้ใช้กําหนดและเรียกใช้อินสแตนซ์แบบขนานของ Featurama และ Blast ในเครื่องยนต์คอมพิว

• EnotifWiki ฟรี

  EnotifWiki เพิ่มการแจ้งเตือนทางอีเมลไปยังกลไกจัดการ MediaWiki ของวิกิพีเดีย: เมื่อมีการเปลี่ยนแปลงหรือสร้างเพจ อีเมล ("enotif") จะถูกส่งไปยังผู้ใช้โดยอัตโนมัติ ลิงค์ด่วนไปยังมุมมองต่างๆ ไปยังเวอร์ชันที่เห็นล

• Gtk+/CLI IDP Interface ฟรี

  โครงการนี้มีซอฟต์แวร์เพื่อใช้กับพจนานุกรม IDP ภายใต้ลินุกซ์และยูนิซิสอื่น ๆ โครงการนี้ไม่ได้เผยแพร่พจนานุกรมใหม่ แต่พวกเขาฟรี 95% เพื่อให้คุณสามารถดาวน์โหลดได้http://www.june29.com/IDP/

• MODELbuilder ฟรี

  MODELbuilder เป็นโปรแกรมที่ให้วิธีการกราฟิกเพื่อให้ได้แบบจําลองต่าง ๆ จากข้อมูลเชิงประจักษ์และการจําลอง

• SPAS ฟรี

  SPAS (ซอฟต์แวร์การวิเคราะห์คุณสมบัติโครงสร้าง) เป็นซอฟต์แวร์ความสัมพันธ์เชิงปริมาณโครงสร้างทรัพย์สิน (QSPR)

• CHALICE ฟรี

  การเชื่อมต่อหน่วยงานทางประวัติศาสตร์กับลิงก์บริบทและเอนทิตี CHALICE เป็น gazetteer ชื่อสถานที่ประวัติศาสตร์สําหรับสหราชอาณาจักรเผยแพร่เป็นข้อมูลที่เชื่อมโยงและเชื่อมโยงกับแหล่งข้อมูลการอ้างอิงชื่อสถานที่ที่ใช้กันอย่างแพร่หลาย

• Finite Element LibrarY eXperiment ฟรี

  FELYX เป็นรหัส FE/FEM ที่มุ่งเน้นวัตถุที่เขียนด้วย C++ มันให้องค์ประกอบที่พบบ่อยที่สุดสําหรับการวิเคราะห์โครงสร้างการลดแบนด์วิดท์ตัวแก้ปัญหาเส้นขอบฟ้าที่รวดเร็วตัวแก้ปัญหาการเกิดใหม่บางอย่างและอินเทอร์เฟซสําหรับแพ็คเกจ FEA เช

• Java Linear Algebra Library ฟรี

  JLAL เป็นแพคเกจพีชคณิตเชิงเส้นสําหรับ java ให้ API ที่มุ่งเน้นวัตถุที่ใช้งานง่าย ไลบรารีสนับสนุนการดําเนินการทางคณิตศาสตร์ การผกผัน การสลายตัวของเมทริกซ์ต่างๆ การแก้ปัญหาสมการเชิงเส้น และอื่นๆ

• EZMWeb ฟรี

  EZMWeb เป็นระบบการรวมและระบบการค้นหาข้อมูลชีวภาพบนเว็บแบบโอเพ่นซอร์ส ผู้ใช้สามารถค้นหาข้อมูลเอนไซม์แบบบูรณาการ มันใช้การวิเคราะห์ความสัมพันธ์ระหว่างเอนไซม์ที่แตกต่างกันให้ผลลัพธ์ที่มองเห็นได้ผ่านจาวาแอปเพล็ต