主题 · 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 天星标变化

← 返回主题列表