Thema · type-theory

type-theory

Erfasste Open-Source-Repos mit dem Tag type-theory, sortiert nach Sternen.

Repos

5

Sterne gesamt

13.970

Sterne im Schnitt

2.794

Anteil

0,00%

Themen, die häufig gemeinsam mit type-theory am selben Repo auftauchen.

Neue Aufsteiger

Repos, die in den letzten 90 Tagen erstellt und mit type-theory getaggt wurden.

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

#1
plt ↗@steshawCSS
Programmiersprachentheorie λΠ
★ 5.362+1Sterne-Änderung der letzten 7 Tage
#2
Kind ↗@HigherOrderCOHaskell
Eine moderne Beweissprache
★ 3.763-1Sterne-Änderung der letzten 7 Tage
#3
agda ↗@agdaHaskell
Agda ist eine dependently getypte Programmiersprache und ein interaktiver Theorembeweiser.
★ 2.922+3Sterne-Änderung der letzten 7 Tage
#4
Coq-HoTT ↗@HoTTRocq Prover
Eine Coq-Bibliothek für Homotopie-Typentheorie
★ 1.405+1Sterne-Änderung der letzten 7 Tage
#5
typescript-sudoku ↗@gruhnTypeScript
Sudoku spielen in TypeScript, wobei der Typ-Prüfer Fehler hervorhebt.
★ 517-1Sterne-Änderung der letzten 7 Tage

← Zurück zu den Themen