Thema · lambda-calculus

lambda-calculus

Erfasste Open-Source-Repos mit dem Tag lambda-calculus, sortiert nach Sternen.

Repos

4

Sterne gesamt

6.478

Sterne im Schnitt

1.620

Anteil

0,00%

Themen, die häufig gemeinsam mit lambda-calculus am selben Repo auftauchen.

Neue Aufsteiger

Repos, die in den letzten 90 Tagen erstellt und mit lambda-calculus getaggt wurden.

In den letzten 90 Tagen kam kein neues Repo mit diesem Thema dazu.

#1
Kind ↗@HigherOrderCOHaskell
Eine moderne Beweissprache
★ 3.764-3Sterne-Änderung der letzten 7 Tage
#2
fp-core.rs ↗@JasonShinRust
Eine Bibliothek für funktionale Programmierung in Rust
★ 1.428+0Sterne-Änderung der letzten 7 Tage
#3
HOL ↗@HOL-Theorem-ProverStandard ML
Kasernenquellen für das HOL4-Theorembeweissystem. Der Branch develop ist der Ort für die Hauptlinienentwicklung; sobald develop unsere Regressionstests besteht, wird master vorwärtsgemergt.
★ 755+0Sterne-Änderung der letzten 7 Tage
#4
lambda-talk ↗@glebecJavaScript
Eine Ansammlung von Funktionen: Kombinatoren, Lambda-Kalkül und Church-Kodierungen in JS
★ 532+0Sterne-Änderung der letzten 7 Tage

← Zurück zu den Themen