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