Các thư viện được viết bằng Agda
TypeTopology
Biểu hiện logic của khái niệm topo, và những thứ khác. Phiên bản này áp dụng quan điểm thống nhất..
- 172
- GNU General Public License v3.0 only
Agda
Chính thức hóa Agda của Giới thiệu về Lý thuyết Loại Homotopy (bởi HoTT-Intro).
- 108
- GNU General Public License v3.0 only
agdarsec
Tổng số bộ kết hợp trình phân tích cú pháp trong Agda.
- 105
- GNU General Public License v3.0 only
agda-regexp-automata
Chính thức hóa các ngôn ngữ chính quy trong Agda: biểu thức chính quy, automata trạng thái hữu hạn, bằng chứng về sự tương đương, bằng chứng về bổ đề bơm..
- 13
template-agda
Mẫu Agda, được định cấu hình cho Gitpod (www.gitpod.io) để cung cấp cho bạn môi trường phát triển tạm thời, dựng sẵn trên đám mây..
- 8
- MIT