Các kho mã nguồn mở đang theo dõi của idris-lang, sắp xếp theo số sao.
Một ngôn ngữ lập trình thuần túy hàm với kiểu dữ liệu hạng nhất
