Chủ đề · logic

logic

Các kho mã nguồn mở đang theo dõi được gắn thẻ logic, sắp xếp theo số sao.

Kho mã

9

Tổng số sao

29.438

Số sao trung bình

3.271

Tỷ trọng

0,00%

Những chủ đề thường xuất hiện cùng logic trên cùng một kho mã.

Mới nổi gần đây

Các kho mã tạo trong 90 ngày qua và được gắn thẻ logic.

Không có kho mã mới nào gắn thẻ chủ đề này trong 90 ngày qua.

#1
logisim-evolution ↗@logisim-evolutionJava
Công cụ và trình mô phỏng thiết kế logic kỹ thuật số
★ 7.517+21Thay đổi số sao trong 7 ngày qua
#2
Digital ↗@hneemannJava
Trình thiết kế logic kỹ thuật số và mô phỏng mạch điện.
★ 5.964+13Thay đổi số sao trong 7 ngày qua
#3
plt ↗@steshawCSS
Lý thuyết ngôn ngữ lập trình λΠ
★ 5.362+1Thay đổi số sao trong 7 ngày qua
#4
typedb ↗@typedbRust
TypeDB: Được xây dựng cho các hệ thống, không chỉ là bản ghi
★ 4.438+8Thay đổi số sao trong 7 ngày qua
#5
flix ↗@flixFlix
Ngôn ngữ lập trình Flix
★ 2.734+0Thay đổi số sao trong 7 ngày qua
#6
math ↗@hendrycksPython
Bộ dữ liệu MATH (NeurIPS 2021)
★ 1.387+0Thay đổi số sao trong 7 ngày qua
#7
magmide ↗@magmideRocq Prover
Một ngôn ngữ chứng minh phụ thuộc (dependently-typed) nhằm giúp các kỹ sư phần mềm có thể tạo ra mã bare metal chính xác.
★ 835+0Thay đổi số sao trong 7 ngày qua
#8
BOOLR ↗@GGBRWJavaScript
Một trình mô phỏng logic kỹ thuật số
★ 626+2Thay đổi số sao trong 7 ngày qua
#9
awesome-prolog ↗@klaudiosinani
Danh sách các gói và tài nguyên Prolog được tuyển chọn
★ 575+0Thay đổi số sao trong 7 ngày qua

← Quay lại danh sách chủ đề