logic topic
awesome-prolog
Curated list of Prolog packages and resources
awesome-philosophy
A curated list of awesome philosophy
canrun_rs
A Rust logic programming library inspired by the *Kanren family of language DSLs.
awesome-philosophy-compsci
A list of resources that cross the disciplines of Computer Science and Philosophy
nodus
A logic gate simulator written in Rust using the Bevy game engine.
LoMRF
LoMRF is an open-source implementation of Markov Logic Networks
Digital
A digital logic designer and circuit simulator.
logisim-evolution
Digital logic design tool and simulator
plt
Programming Language Theory λΠ