logic

There are 46 repositories under logic topic.

steshaw / plt
Programming Language Theory λΠ
category-theory functional-programming logic programming-languages proof-theory type-theory
Language:CSS 5219
logisim-evolution
logisim-evolution / logisim-evolution
Digital logic design tool and simulator
circuit circuits digital-circuit digital-circuits digital-logic digital-logic-design education fpga logic logisim logisim-evolution simulator timing-diagram verilog vhdl
Language:Java 4766
hneemann / Digital
A digital logic designer and circuit simulator.
circuit digital-circuits education logic logic-gates logisim simulator
Language:Java 4313
typedb
typedb / typedb
TypeDB: one giant leap for databases
database inference knowledge-base knowledge-representation logic polymorphic polymorphism reasoning strongly-typed type-system typedb typeql
Language:Rust 3773
i5ting / imove
INACTIVE: Move your mouse, generate code from flow chart
flowchart javascript logic lowcode x6 xstate
Language:TypeScript 3749
flix / flix
The Flix Programming Language
flix language hacktoberfest functional imperative logic jvm programming-language
Language:Scala 2151
hendrycks / math
The MATH Dataset (NeurIPS 2021)
logic math reasoning
Language:Python 844
magmide / magmide
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
coq dependent-types formal-methods formal-verification logic systems-programming type-safety verification
Language:Coq 811
GGBRW / BOOLR
A digital logic simulator
digital logic logic-gates simulation simulator
Language:JavaScript 613
Nucleoid
NucleoidAI / Nucleoid
Neuro-Symbolic AI with Knowledge Graph | "True Reasoning" through data and logic 🌿🌱🐋🌍
node javascript neuro-symbolic-ai neuro-symbolic reasoning semantic-reasoning symbolic reasoning-engine semantic-reasoner logic logic-programming expert-system knowledge-base knowledge rag knowledge-graph graph-rag neuro-symbolic-learning
Language:JavaScript 531
klaudiosinani / awesome-prolog
Curated list of Prolog packages and resources
awesome prolog list logic programming
497
wotbrew / relic
Functional relational programming for Clojure(Script).
clojure dataflow incremental-view-maintenance logic relational-algebra relations sql
Language:Clojure 407
alexanyernas / Ejercicios-Practicos
Mejora tu lógica de programación y aprende mucho más resolviendo estos ejercicios.
logic-programming logic practice exercises
406
opennars / opennars
OpenNARS for Research 3.0+
agi aikr nars reasoning logic ai agent rl learning reinforcement java reasoner semantic graph database realtime inference solver artificial-general-intelligence nal
Language:Java 385
acl2 / acl2
ACL2 System and Books as Maintained by the Community
acl2 theorem-prover theorem-proving common-lisp rewriting formal-verification formal-methods first-order-logic logic
Language:Common Lisp 358
alexanderskulikov / discrete-math-python-scripts
Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera
python mathematics discrete-mathematics combinatorics recursion induction algorithms bayes logic probability python3 dynamic-programming combinatorics-and-probability cryptography number-theory enumeration graph-algorithms graphs
Language:Jupyter Notebook 325
Jfaler / Philosophy
:octocat: A list of philosophy books and resources.
books philosophy logic metaphysics aesthetics epistemology politics ethics symbols wisdom mathematics list philosopher nothing thinking truth good evil morals dialectic
316
OpenCircuits
OpenCircuits / OpenCircuits
A free, open source, online digital circuit/logic designer.
circuits typescript designer circuit-simulator simulator logic logic-gates digital-circuits education digital-circuit-design hacktoberfest circuit
Language:TypeScript 294
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.
formal-verification prover automated-theorem-provers theorem-prover reasoning logic constructive-mathematics dependent-types theorem-proving proof-assistants rust
292
spamegg1 / reviews
Reviewing some online CS courses I took
programming-languages algorithms computer-graphics databases logic mathematics networking operating-systems assembly hdl java javascript nand2tetris python racket ruby smlnj scala kotlin c
Language:JavaScript 292
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.
prolog compiler programming-language logic interpreter bytecode virtual-machine clp constraints prolog-implementation prolog-interpreter prolog-compiler iso-prolog-standard ciao-prolog prolog-programming-language logic-programming
Language:Prolog 267
latte-central / LaTTe
LaTTe : a Laboratory for Type Theory experiments (in clojure)
clojure proof-assistant logic mathematics
Language:Clojure 258
schwering / limbo
A Reasoning System for a First-Order Logic of Limited Belief, written in C++
logic reasoning knowledge beliefs
Language:C++ 237
IBM / LNN
A `Neural = Symbolic` framework for sound and complete weighted real-value logic
neuro-symbolic-ai machine-learning reasoning logic
Language:Python 228
typeql
typedb / typeql
TypeQL: the modern query language of TypeDB
database inference logic polymorphic polymorphism query query-language reasoning strongly-typed type-system typedb typeql
Language:Java 218
minetest-mods / mesecons
Mod for Minetest that adds digital circuitry [=Minecraft redstone]
logic minetest minetest-mod redstone wires
Language:Lua 209
principia
LogicalAtomist / principia
The Principia Rewrite
logic history-of-philosophy coq coq-ecosystem formal-logic formal-mathematics formal-proofs latex latex-packages
Language:TeX 205
HussainAther / awesome-philosophy
A curated list of awesome philosophy
awesome-list philosophy ethics aesthetics logic epistemology history-of-philosophy philosophy-of-science philosophy-of-mind
188
pyreason
lab-v2 / pyreason
An explainable inference software supporting annotated, real valued, graph based and temporal logic
logic logic-programming machine-learning neurosymbolic python temporal-logic
Language:Python 175
ztangent / Julog.jl
A Julia package for Prolog-style logic programming.
julia prolog first-order-logic logic logic-programming fol
Language:Julia 170
jdryg / dls-schematics
Schematics for DLS - The Digital Logic Simulator game http://makingartstudios.itch.io/dls
schematic digital logic dls cpu simulation
Language:Lua 156
diagram-of-thought / diagram-of-thought
Official implementation of paper "On the Diagram of Thought" (https://arxiv.org/abs/2409.10038)
large-language-models llm logic math reasoning
147
LittleLollipop / LBox
android utils logic
Language:Java 145
fenwii / LibraryBookSearchEngine
LibraryBookSearchEngine，link librarys of all 197 Countries, search all resources of books，for student, research,图书馆图书搜索引擎,在家链接全球197个国家的图书馆，搜索图书资源,学生必备，科研必备，学习必备工具。
197countries academic book bookengine books college learning lib library librarysearchengine logic research science search-engine student students teaching thinking university
144
veyselusta / programming-language-research
Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
compilers programming-languages type-theory formal-methods functional-programming interpreters logic
137
pietrobarbiero / pytorch_explain
PyTorch Explain: Interpretable Deep Learning in Python.
logic pytorch python machine-learning neural-network deep-learning explainability explainable-ai lens entropy sympy interpretability interpretable-ai interpretable-deep-learning interpretable-machine-learning
Language:Jupyter Notebook 135