Βιβλιοθήκες γραμμένες σε Promela

Κώδικας ανοιχτού κώδικα για χαρτί RFCNLP..

Αποθετήριο που περιέχει την τροποποιημένη έκδοση του εργαλείου σύνθεσης επιτιθέμενων KORG..