Thema · logic

logic

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

Repos

9

Sterne gesamt

29.393

Sterne im Schnitt

3.266

Anteil

0,00%

Themen, die häufig gemeinsam mit logic am selben Repo auftauchen.

Neue Aufsteiger

Repos, die in den letzten 90 Tagen erstellt und mit logic getaggt wurden.

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

#1
logisim-evolution ↗@logisim-evolutionJava
Tool und Simulator für den Entwurf digitaler Logik.
★ 7.496+33Sterne-Änderung der letzten 7 Tage
#2
Digital ↗@hneemannJava
Ein digitaler Logikdesigner und Schaltungssimulator.
★ 5.951+21Sterne-Änderung der letzten 7 Tage
#3
plt ↗@steshawCSS
Programmiersprachentheorie λΠ
★ 5.361+3Sterne-Änderung der letzten 7 Tage
#4
typedb ↗@typedbRust
TypeDB: Entwickelt für Systeme, nicht für Datensätze
★ 4.430+10Sterne-Änderung der letzten 7 Tage
#5
flix ↗@flixFlix
Die Programmiersprache Flix
★ 2.734+4Sterne-Änderung der letzten 7 Tage
#6
math ↗@hendrycksPython
Das MATH-Dataset (NeurIPS 2021)
★ 1.387+3Sterne-Änderung der letzten 7 Tage
#7
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
#8
BOOLR ↗@GGBRWJavaScript
Ein digitaler Logiksimulator.
★ 626+0Sterne-Änderung der letzten 7 Tage
#9
awesome-prolog ↗@klaudiosinani
Kuratierte Liste von Prolog-Paketen und Ressourcen
★ 575+1Sterne-Änderung der letzten 7 Tage

← Zurück zu den Themen