Các kho mã nguồn mở đang theo dõi của sweirich, sắp xếp theo số sao.
Bản triển khai demo của một ngôn ngữ định kiểu phụ thuộc (dependently-typed language) đơn giản.
