Các kho mã nguồn mở đang theo dõi của litexlang, sắp xếp theo số sao.
Litex: Ngôn ngữ nơi toán học tự xác minh chính nó.
