Topik · lambda-calculus

lambda-calculus

Repositori open source terpantau bertanda lambda-calculus, diurutkan berdasarkan bintang.

Repositori

Total bintang

6.478

Rata-rata bintang

1.620

Porsi

0,00%

Topik yang sering muncul berdampingan dengan lambda-calculus di repositori yang sama.

Yang sedang naik

Repositori yang dibuat dalam 90 hari terakhir dan bertanda lambda-calculus.

Tidak ada repositori baru bertanda topik ini dalam 90 hari terakhir.

#1
Kind ↗@HigherOrderCOHaskell
Bahasa pembuktian modern
★ 3.764-3Perubahan bintang dalam 7 hari terakhir
#2
fp-core.rs ↗@JasonShinRust
Library untuk pemrograman fungsional di Rust
★ 1.428+0Perubahan bintang dalam 7 hari terakhir
#3
HOL ↗@HOL-Theorem-ProverStandard ML
Sumber kanonis untuk sistem pembuktian teorema HOL4. Cabang develop adalah tempat terjadinya "pengembangan utama"; ketika develop lolos pengujian regresi, master digabungkan ke depan untuk menyusul.
★ 755+0Perubahan bintang dalam 7 hari terakhir
#4
lambda-talk ↗@glebecJavaScript
Sekumpulan Fungsi: Kombinator, Kalkulus Lambda, & Pengkodean Church dalam JS
★ 532+0Perubahan bintang dalam 7 hari terakhir