Các kho mã nguồn mở đang theo dõi của Felix-Petersen, sắp xếp theo số sao.
Thư viện cho các mạng cổng logic khả vi
