There are 44 repositories under logic topic.
Digital logic design tool and simulator
Curated list of Prolog packages and resources
Reasoning Engine for Neuro-Symbolic AI
Mejora tu lógica de programación y aprende mucho más resolviendo estos ejercicios.
:octocat: A list of philosophy books and resources.
Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera
A free, open source, online digital circuit/logic designer.
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
LaTTe : a Laboratory for Type Theory experiments (in clojure)
Mod for minetest that adds digital circuitry [=Minecraft redstone]
The Principia Rewrite
A curated list of awesome philosophy
Schematics for DLS - The Digital Logic Simulator game http://makingartstudios.itch.io/dls
LibraryBookSearchEngine,link librarys of all 197 Countries, search all resources of books,for student, research,图书馆图书搜索引擎,在家链接全球197个国家的图书馆,搜索图书资源,学生必备,科研必备,学习必备工具。
Examples of not obvious behaviors for javascript beginner programmers
Source code for lecture notes
PyTorch Explain: Interpretable Deep Learning in Python.