logic

There are 44 repositories under logic topic.

steshaw / plt
Programming Language Theory λΠ
programming-languages type-theory functional-programming category-theory logic proof-theory
Language:CSS 5124
logisim-evolution
logisim-evolution / logisim-evolution
Digital logic design tool and simulator
logisim-evolution education circuit circuits digital-circuit digital-circuits simulator logic digital-logic digital-logic-design fpga timing-diagram logisim vhdl verilog
Language:Java 4293
hneemann / Digital
A digital logic designer and circuit simulator.
circuit digital-circuits education logic logic-gates logisim simulator
Language:Java 3932
i5ting / imove
INACTIVE: Move your mouse, generate code from flow chart
flowchart xstate x6 javascript logic lowcode
Language:TypeScript 3749
typedb
vaticle / typedb
TypeDB: the polymorphic database powered by types
database knowledge-base knowledge-representation reasoning logic inference typedb typeql type-system strongly-typed polymorphic polymorphism
Language:Java 3669
flix / flix
The Flix Programming Language
flix functional hacktoberfest imperative jvm language logic programming-language
Language:Scala 2052
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 803
hendrycks / math
The MATH Dataset (NeurIPS 2021)
logic math reasoning
Language:Python 692
GGBRW / BOOLR
A digital logic simulator
digital logic logic-gates simulation simulator
Language:JavaScript 604
Nucleoid
NucleoidAI / Nucleoid
Reasoning Engine for Neuro-Symbolic AI
declarative-logic expert-system javascript knowledge knowledge-base logic logic-programming neuro-symbolic neuro-symbolic-ai node rag reasoning reasoning-engine semantic-reasoner semantic-reasoning symbolic symbolic-ai
Language:JavaScript 485
klaudiosinani / awesome-prolog
Curated list of Prolog packages and resources
awesome list logic programming prolog
481
alexanyernas / Ejercicios-Practicos
Mejora tu lógica de programación y aprende mucho más resolviendo estos ejercicios.
exercises logic logic-programming practice
401
wotbrew / relic
Functional relational programming for Clojure(Script).
clojure relational-algebra relations logic dataflow sql incremental-view-maintenance
Language:Clojure 391
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 369
acl2 / acl2
ACL2 System and Books as Maintained by the Community
acl2 common-lisp first-order-logic formal-methods formal-verification logic rewriting theorem-prover theorem-proving
Language:Common Lisp 336
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
304
alexanderskulikov / discrete-math-python-scripts
Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera
algorithms bayes combinatorics combinatorics-and-probability cryptography discrete-mathematics dynamic-programming enumeration graph-algorithms graphs induction logic mathematics number-theory probability python python3 recursion
Language:Jupyter Notebook 278
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 270
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.
automated-theorem-provers constructive-mathematics dependent-types formal-verification logic proof-assistants prover reasoning rust theorem-prover theorem-proving
260
spamegg1 / reviews
Reviewing some online CS courses I took
algorithms assembly computer-graphics databases hdl java javascript kotlin logic mathematics nand2tetris networking operating-systems programming-languages python racket ruby scala sml smlnj
Language:JavaScript 260
latte-central / LaTTe
LaTTe : a Laboratory for Type Theory experiments (in clojure)
clojure proof-assistant logic mathematics
Language:Clojure 250
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.
bytecode ciao-prolog clp compiler constraints interpreter iso-prolog-standard logic logic-programming programming-language prolog prolog-compiler prolog-implementation prolog-interpreter prolog-programming-language virtual-machine
Language:Prolog 239
schwering / limbo
A Reasoning System for a First-Order Logic of Limited Belief, written in C++
beliefs knowledge logic reasoning
Language:C++ 235
IBM / LNN
A `Neural = Symbolic` framework for sound and complete weighted real-value logic
logic machine-learning neuro-symbolic-ai reasoning
Language:Python 216
typeql
vaticle / typeql
TypeQL: the polymorphic query language of TypeDB
reasoning query-language query inference logic database typedb typeql type-system strongly-typed polymorphic polymorphism
Language:Java 211
minetest-mods / mesecons
Mod for minetest that adds digital circuitry [=Minecraft redstone]
minetest redstone wires logic minetest-mod
Language:Lua 200
principia
LogicalAtomist / principia
The Principia Rewrite
logic history-of-philosophy coq coq-ecosystem formal-logic formal-mathematics formal-proofs latex latex-packages
Language:TeX 198
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
174
ztangent / Julog.jl
A Julia package for Prolog-style logic programming.
julia prolog first-order-logic logic logic-programming fol
Language:Julia 167
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 153
jdryg / dls-schematics
Schematics for DLS - The Digital Logic Simulator game http://makingartstudios.itch.io/dls
schematic digital logic dls cpu simulation
Language:Lua 150
fenwii / LibraryBookSearchEngine
LibraryBookSearchEngine，link librarys of all 197 Countries, search all resources of books，for student, research,图书馆图书搜索引擎,在家链接全球197个国家的图书馆，搜索图书资源,学生必备，科研必备，学习必备工具。
library lib book books search-engine 197countries students student university college academic research science learning teaching thinking logic bookengine librarysearchengine
146
LittleLollipop / LBox
android logic utils
Language:Java 145
ufocoder / javascript.anomaly
Examples of not obvious behaviors for javascript beginner programmers
javascript anomaly closure logic math
136
sreahw / schuller-geometric
Source code for lecture notes
logic notes truth axioms sets classification topology homotopy manifolds bundles lie curves physics geometry algebras dynkin
Language:TeX 130
FLHonker / Awesome-Neural-Logic
Awesome Neural Logic and Causality: MLN, NLRL, NLM, etc. 因果推断，神经逻辑，强人工智能逻辑推理前沿领域。
causal causal-inference causality first-order-logic inductive-logic-programming logic logic-programming markov neural-network
127