主題 · logic

logic

標記 logic 主題、收錄中的開源專案，依星數排序。

專案數

9

總星數

29,438

平均星數

3,271

佔比

0.00%

常跟 logic 一起出現在同一個專案上的主題。

近期新秀

近 90 天內建立、標記 logic 主題的專案。

近 90 天內還沒有新專案標記這個主題。

#1
logisim-evolution ↗@logisim-evolutionJava
數位邏輯設計工具與模擬器
★ 7,517+21近 7 天星數變化
#2
Digital ↗@hneemannJava
数字逻辑设计器和电路仿真器
★ 5,964+13近 7 天星數變化
#3
plt ↗@steshawCSS
程式語言理論 λΠ
★ 5,362+1近 7 天星數變化
#4
typedb ↗@typedbRust
TypeDB：為系統而建，非僅僅是記錄
★ 4,438+8近 7 天星數變化
#5
flix ↗@flixFlix
Flix 程式語言
★ 2,734+0近 7 天星數變化
#6
math ↗@hendrycksPython
MATH 資料集 (NeurIPS 2021)
★ 1,387+0近 7 天星數變化
#7
magmide ↗@magmideRocq Prover
一種依賴型別證明語言，旨在讓軟體工程師能夠編寫可證明正確的裸機程式碼。
★ 835+0近 7 天星數變化
#8
BOOLR ↗@GGBRWJavaScript
一個數位邏輯模擬器
★ 626+2近 7 天星數變化
#9
awesome-prolog ↗@klaudiosinani
Prolog 套件與資源精選列表
★ 575+0近 7 天星數變化

← 返回主題列表