Topik · logic

logic

Repositori open source terpantau bertanda logic, diurutkan berdasarkan bintang.

Repositori

9

Total bintang

29.438

Rata-rata bintang

3.271

Porsi

0,00%

Topik yang sering muncul berdampingan dengan logic di repositori yang sama.

Yang sedang naik

Repositori yang dibuat dalam 90 hari terakhir dan bertanda logic.

Tidak ada repositori baru bertanda topik ini dalam 90 hari terakhir.

#1
logisim-evolution ↗@logisim-evolutionJava
Alat desain dan simulator logika digital
★ 7.517+21Perubahan bintang dalam 7 hari terakhir
#2
Digital ↗@hneemannJava
Perancang logika digital dan simulator sirkuit.
★ 5.964+13Perubahan bintang dalam 7 hari terakhir
#3
plt ↗@steshawCSS
Teori Bahasa Pemrograman λΠ
★ 5.362+1Perubahan bintang dalam 7 hari terakhir
#4
typedb ↗@typedbRust
TypeDB: Dibuat untuk sistem, bukan sekadar catatan.
★ 4.438+8Perubahan bintang dalam 7 hari terakhir
#5
flix ↗@flixFlix
Bahasa Pemrograman Flix
★ 2.734+0Perubahan bintang dalam 7 hari terakhir
#6
math ↗@hendrycksPython
Dataset MATH (NeurIPS 2021)
★ 1.387+0Perubahan bintang dalam 7 hari terakhir
#7
magmide ↗@magmideRocq Prover
Bahasa pembuktian bertipe-dependen yang dirancang agar insinyur perangkat lunak dapat membuat kode bare metal yang terbukti benar.
★ 835+0Perubahan bintang dalam 7 hari terakhir
#8
BOOLR ↗@GGBRWJavaScript
Simulator logika digital
★ 626+2Perubahan bintang dalam 7 hari terakhir
#9
awesome-prolog ↗@klaudiosinani
Daftar kurasi paket dan sumber daya Prolog.
★ 575+0Perubahan bintang dalam 7 hari terakhir

← Kembali ke topik