logic
There are 2003 repositories under logic topic.
logisim-evolution/logisim-evolution
Digital logic design tool and simulator
steshaw/plt
Programming Language Theory λΠ
hneemann/Digital
A digital logic designer and circuit simulator.
typedb/typedb
TypeDB: the power of programming, in your database
i5ting/imove
INACTIVE: Move your mouse, generate code from flow chart
flix/flix
The Flix Programming Language
hendrycks/math
The MATH Dataset (NeurIPS 2021)
magmide/magmide
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
NucleoidAI/Nucleoid
Neuro-Symbolic AI with Knowledge Graph | "True Reasoning" through data and logic 🌿🌱🐋🌍
GGBRW/BOOLR
A digital logic simulator
klaudiosinani/awesome-prolog
Curated list of Prolog packages and resources
wotbrew/relic
Functional relational programming for Clojure(Script).
alexanderskulikov/discrete-math-python-scripts
Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera
acl2/acl2
ACL2 System and Books as Maintained by the Community
alexanyernas/Ejercicios-Practicos
Mejora tu lógica de programación y aprende mucho más resolviendo estos ejercicios.
opennars/opennars
OpenNARS for Research 3.0+
OpenCircuits/OpenCircuits
A free, open source, online digital circuit/logic designer.
newca12/awesome-rust-formalized-reasoning
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
Jfaler/Philosophy
:octocat: A list of philosophy books and resources.
spamegg1/reviews
Reviewing some online CS courses I took
ciao-lang/ciao
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
lab-v2/pyreason
An explainable inference software supporting annotated, real valued, graph based and temporal logic
IBM/LNN
A `Neural = Symbolic` framework for sound and complete weighted real-value logic
latte-central/LaTTe
LaTTe : a Laboratory for Type Theory experiments (in clojure)
veyselusta/programming-language-research
Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
schwering/limbo
A Reasoning System for a First-Order Logic of Limited Belief, written in C++
typedb/typeql
TypeQL: the power of programming, in your database
LogicalAtomist/principia
The Principia Rewrite
HussainAther/awesome-philosophy
A curated list of awesome philosophy
minetest-mods/mesecons
Mod for Minetest that adds digital circuitry [=Minecraft redstone]
diagram-of-thought/diagram-of-thought
Official implementation of paper "On the Diagram of Thought" (https://arxiv.org/abs/2409.10038)
ztangent/Julog.jl
A Julia package for Prolog-style logic programming.
spamegg1/Math-for-CS-solutions
Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)
jdryg/dls-schematics
Schematics for DLS - The Digital Logic Simulator game http://makingartstudios.itch.io/dls
knowsys/nemo
A fast in-memory rule engine
pietrobarbiero/pytorch_explain
PyTorch Explain: Interpretable Deep Learning in Python.