Các kho mã nguồn mở đang theo dõi của granule-project, sắp xếp theo số sao.
Ngôn ngữ hàm tuyến tính định kiểu tĩnh với các kiểu phương thức phân cấp để lập luận chương trình chi tiết
