Các thư viện được viết bằng Promela

Mã nguồn mở cho giấy RFCNLP..

Kho lưu trữ chứa phiên bản sửa đổi của công cụ tổng hợp kẻ tấn công KORG..