โปรแกรมตาม tycho.sf.net

Tycho เป็นเครื่องกําเนิดไฟฟ้า typechecker ที่เขียนใน Java ออกแบบมาเพื่อทํางานกับ parsers ที่สร้างขึ้นโดย SableCC เครื่องกําเนิดไฟฟ้าตัวแยกวิเคราะห์ที่ใช้ Java มันสร้างตัวตรวจสอบประเภทที่ข้ามต้นไม้แยกวิเคราะห์ที่กําหนดและตรวจส