Các kho mã nguồn mở đang theo dõi của quint-co, sắp xếp theo số sao.
Ngôn ngữ đặc tả khả thi với các công cụ thú vị dựa trên logic thời gian của hành động (TLA)
