plfa/plfa.github.io
PublicAn introduction to programming language theory in Agda
Bee AI phân tích repositoryBETA
AI đọc README và cây file để tóm tắt, gợi ý cách dùng và đánh giá repository. Mọi con số lấy từ kho Bee, không do AI ước lượng.
Chưa có bản phân tích AI cho repo này
Bee AI sẽ đọc README và cây file rồi tóm tắt bằng tiếng Việt và tiếng Anh, mất khoảng 30–60 giây.
Hôm nay đã hết lượt phân tích hoặc tính năng đang tắt. Thử lại sau.
Tối đa 5 lượt mỗi giờ cho một địa chỉ IP · ngân sách chung theo ngày.
Điểm BeeTính thuần từ số liệu trong kho Bee, không phải AI chấm: bách phân vị sao 30% · độ tươi lần push 25% · fork và watcher 15% · README, giấy phép, mô tả 20% · có bản phát hành 10%.
66/100Điểm tổng thể
- Độ phổ biến35
- Độ tươi100
- Cộng đồng72
- Tài liệu50
- Phát hành100
- Mức độ khóCó sau khi phân tích
- Phù hợp vớiCó sau khi phân tích
- Loại dự ánCó sau khi phân tích
- Giấy phépCC-BY-4.0
Hướng dẫn nhanh
Các bước để bắt đầu với repository này.
bash
git clone https://github.com/plfa/plfa.github.io.git
cd plfa.github.ioRepository tương tự
Cùng chủ đề trong kho Bee.
- 1
getify/You-Dont-Know-JSA book series (2 published editions) on the JS language.184.8k+2
- 2
krahets/hello-algo《Hello 算法》：动画图解、一键运行的数据结构与算法教程。支持简中、繁中、English、日本語，提供 Python, Java, C++, C, C#, JS, Go, Swift, Rust, Ruby, Kotlin, TS, Dart 等代码实现131.7k+777
- 3
d2l-ai/d2l-zh《动手学深度学习》：面向中文读者、能运行、可讨论。中英文版被70多个国家的500多所大学用于教学。82.2k+136
- 4
bojieli/ai-agent-book《深入理解 AI Agent：设计原理与工程实践》（李博杰 著）开源主仓库：全书正文、编译版 PDF 与按章配套代码56.5k+1.1k
- 5
dylanaraps/pure-bash-bible📖 A collection of pure bash alternatives to external processes.41.7k-9