Topic · logic

logic

Tracked open-source repos tagged logic, sorted by stars.

Repos

9

Total stars

29,393

Avg. stars

3,266

Share

0.00%

Topics that frequently appear alongside logic on the same repo.

Recent risers

Repos created in the last 90 days, tagged logic.

No new repos tagged with this topic in the last 90 days.

#1
logisim-evolution ↗@logisim-evolutionJava
Digital logic design tool and simulator
★ 7,496+33Star change over the last 7 days
#2
Digital ↗@hneemannJava
A digital logic designer and circuit simulator.
★ 5,951+21Star change over the last 7 days
#3
plt ↗@steshawCSS
Programming Language Theory λΠ
★ 5,361+3Star change over the last 7 days
#4
typedb ↗@typedbRust
TypeDB: Built for systems, not records
★ 4,430+10Star change over the last 7 days
#5
flix ↗@flixFlix
The Flix Programming Language
★ 2,734+4Star change over the last 7 days
#6
math ↗@hendrycksPython
The MATH Dataset (NeurIPS 2021)
★ 1,387+3Star change over the last 7 days
#7
magmide ↗@magmideRocq Prover
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
★ 835+0Star change over the last 7 days
#8
BOOLR ↗@GGBRWJavaScript
A digital logic simulator
★ 626+0Star change over the last 7 days
#9
awesome-prolog ↗@klaudiosinani
Curated list of Prolog packages and resources
★ 575+1Star change over the last 7 days

← Back to topics