Chủ đề · lambda-calculus
lambda-calculus
Các kho mã nguồn mở đang theo dõi được gắn thẻ lambda-calculus, sắp xếp theo số sao.
Kho mã
4
Tổng số sao
6.478
Số sao trung bình
1.620
Tỷ trọng
0,00%
Chủ đề liên quan
Những chủ đề thường xuất hiện cùng lambda-calculus trên cùng một kho mã.
Mới nổi gần đây
Các kho mã tạo trong 90 ngày qua và được gắn thẻ lambda-calculus.
Không có kho mã mới nào gắn thẻ chủ đề này trong 90 ngày qua.
- #1★ 3.764-3Thay đổi số sao trong 7 ngày qua
- #2
Một thư viện lập trình hàm trong Rust
★ 1.428+0Thay đổi số sao trong 7 ngày qua - #3
Nguồn chính thức cho hệ thống chứng minh định lý HOL4. Nhánh develop là nơi diễn ra quá trình phát triển chính; khi nhánh develop vượt qua các bài kiểm thử hồi quy, nhánh master sẽ được hợp nhất để cập nhật.
★ 755+0Thay đổi số sao trong 7 ngày qua - #4
Tập hợp các hàm: Combinators, Lambda Calculus và Church Encodings trong JS
★ 532+0Thay đổi số sao trong 7 ngày qua
