Sujet · lambda-calculus
lambda-calculus
Dépôts open source suivis étiquetés lambda-calculus, triés par étoiles.
Dépôts
4
Total d'étoiles
6 478
Étoiles en moyenne
1 620
Part
0,00%
Sujets associés
Sujets qui apparaissent souvent aux côtés de lambda-calculus sur un même dépôt.
Ascensions récentes
Dépôts créés au cours des 90 derniers jours et étiquetés lambda-calculus.
Aucun nouveau dépôt étiqueté avec ce sujet au cours des 90 derniers jours.
- #1★ 3 764-3Évolution des étoiles sur les 7 derniers jours
- #2
Une bibliothèque pour la programmation fonctionnelle en Rust
★ 1 428+0Évolution des étoiles sur les 7 derniers jours - #3
Sources canoniques du système de démonstration de théorèmes HOL4. La branche develop est dédiée au développement principal ; une fois les tests de régression validés, la branche master est mise à jour.
★ 756+0Évolution des étoiles sur les 7 derniers jours - #4
Un ensemble de fonctions : combinateurs, calcul lambda et encodages de Church en JS
★ 532+0Évolution des étoiles sur les 7 derniers jours
