Sujet · logic

logic

Dépôts open source suivis étiquetés logic, triés par étoiles.

Dépôts

9

Total d'étoiles

29 438

Étoiles en moyenne

3 271

Part

0,00%

Sujets qui apparaissent souvent aux côtés de logic sur un même dépôt.

Ascensions récentes

Dépôts créés au cours des 90 derniers jours et étiquetés logic.

Aucun nouveau dépôt étiqueté avec ce sujet au cours des 90 derniers jours.

#1
logisim-evolution ↗@logisim-evolutionJava
Outil de conception et simulateur de logique numérique.
★ 7 517+21Évolution des étoiles sur les 7 derniers jours
#2
Digital ↗@hneemannJava
Un concepteur de logique numérique et simulateur de circuits.
★ 5 964+13Évolution des étoiles sur les 7 derniers jours
#3
plt ↗@steshawCSS
Théorie des langages de programmation λΠ.
★ 5 362+1Évolution des étoiles sur les 7 derniers jours
#4
typedb ↗@typedbRust
TypeDB : Conçu pour les systèmes, pas pour les enregistrements.
★ 4 438+8Évolution des étoiles sur les 7 derniers jours
#5
flix ↗@flixFlix
Le langage de programmation Flix
★ 2 734+0Évolution des étoiles sur les 7 derniers jours
#6
math ↗@hendrycksPython
Le jeu de données MATH (NeurIPS 2021)
★ 1 387+0Évolution des étoiles sur les 7 derniers jours
#7
magmide ↗@magmideRocq Prover
Un langage de preuve à typage dépendant conçu pour permettre aux ingénieurs logiciels de créer du code bare metal prouvé correct.
★ 835+0Évolution des étoiles sur les 7 derniers jours
#8
BOOLR ↗@GGBRWJavaScript
Un simulateur de logique numérique
★ 626+2Évolution des étoiles sur les 7 derniers jours
#9
awesome-prolog ↗@klaudiosinani
Liste sélective de paquets et de ressources Prolog
★ 575+0Évolution des étoiles sur les 7 derniers jours

← Retour aux sujets