Thema · dependent-types

dependent-types

Erfasste Open-Source-Repos mit dem Tag dependent-types, sortiert nach Sternen.

Repos

6

Sterne gesamt

19.224

Sterne im Schnitt

3.204

Anteil

0,00%

Themen, die häufig gemeinsam mit dependent-types am selben Repo auftauchen.

Neue Aufsteiger

Repos, die in den letzten 90 Tagen erstellt und mit dependent-types getaggt wurden.

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

#1
rocq ↗@rocq-proverOCaml
Der Rocq Prover ist ein interaktiver Theorembeweiser bzw. Beweisassistent. Er bietet eine formale Sprache zum Schreiben mathematischer Definitionen, ausführbarer Algorithmen und Theoreme sowie eine Umgebung für die semi-interaktive Entwicklung maschinell überprüfter Beweise.
★ 5.558+8Sterne-Änderung der letzten 7 Tage
#2
Kind ↗@HigherOrderCOHaskell
Eine moderne Beweissprache
★ 3.764-3Sterne-Änderung der letzten 7 Tage
#3
FStar ↗@FStarLangF*
Eine auf Beweise ausgerichtete Programmiersprache
★ 3.099-1Sterne-Änderung der letzten 7 Tage
#4
Idris2 ↗@idris-langIdris
Eine rein funktionale Programmiersprache mit Typen erster Klasse
★ 3.049+6Sterne-Änderung der letzten 7 Tage
#5
agda ↗@agdaHaskell
Agda ist eine dependently getypte Programmiersprache und ein interaktiver Theorembeweiser.
★ 2.919+3Sterne-Änderung der letzten 7 Tage
#6
magmide ↗@magmideRocq Prover
Eine abhängig typisierte Beweissprache, die es Softwareentwicklern ermöglichen soll, nachweislich korrekten Bare-Metal-Code zu schreiben.
★ 835+0Sterne-Änderung der letzten 7 Tage

← Zurück zu den Themen