Các kho mã nguồn mở đang theo dõi của niklasso, sắp xếp theo số sao.
Bộ giải SAT tối giản và hiệu năng cao.
