Topic: logic Goto Github

👇 Here are 1583 public repositories matching this topic...

acl2 / acl2
logic,ACL2 System and Books as Maintained by the Community
Organization: acl2
Home Page: http://www.cs.utexas.edu/users/moore/acl2
acl2 theorem-prover theorem-proving common-lisp rewriting formal-verification formal-methods first-order-logic logic

adyavanapalli / stanford-introduction-to-mathematical-thinking
logic,Keith Devlin's Introduction to Mathematical Thinking course on Coursera (2017 Spring)
User: adyavanapalli
logic mathematical-thinking mathematical-logic stanford coursera number-theory real-analysis

alexanderskulikov / discrete-math-python-scripts
logic,Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera
User: alexanderskulikov
python mathematics discrete-mathematics combinatorics recursion induction algorithms bayes logic probability

alexanyernas / ejercicios-practicos
logic,Mejora tu lógica de programación y aprende mucho más resolviendo estos ejercicios.
User: alexanyernas
Home Page: https://paypal.me/alexanyernas
logic-programming logic practice exercises

aljen / spaghetti
logic,Graphical logic editor/simulator
User: aljen
logic editor simulation cpp17 cpp14 cpp cpp-library logic-gates logic-circuit-simulator qt5

almossawi / badarguments
logic,Book of Bad Arguments & Mr. Rabbit's Guide to Sneaky Rhetoric
User: almossawi
Home Page: https://bookofbadarguments.com
illustrated-book critical-thinking logical-fallacies logic arguments debate free-books

anskarl / lomrf
logic,LoMRF is an open-source implementation of Markov Logic Networks
User: anskarl
Home Page: https://anskarl.github.io/LoMRF
scala machine-learning logic probabilistic-programming inference graphical-models

bharathgs / nalu
logic,Basic pytorch implementation of NAC/NALU from Neural Arithmetic Logic Units paper by trask et.al
User: bharathgs
Home Page: https://arxiv.org/pdf/1808.00508.pdf
accumulator alu arithmetic deep-learning deepmind logic machine-learning nalu neural-network pytorch

ciao-lang / ciao
logic,Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
Organization: ciao-lang
Home Page: https://ciao-lang.org
prolog compiler programming-language logic interpreter bytecode virtual-machine clp constraints prolog-implementation

fenwii / librarybooksearchengine
logic,LibraryBookSearchEngine，link librarys of all 197 Countries, search all resources of books，for student, research,图书馆图书搜索引擎,在家链接全球197个国家的图书馆，搜索图书资源,学生必备，科研必备，学习必备工具。
User: fenwii
library lib book books search-engine 197countries students student university college

flhonker / awesome-neural-logic
logic,Awesome Neural Logic and Causality: MLN, NLRL, NLM, etc. 因果推断，神经逻辑，强人工智能逻辑推理前沿领域。
User: flhonker
neural-network logic-programming inductive-logic-programming logic markov first-order-logic causal causal-inference causality

flix / flix
logic,The Flix Programming Language
Organization: flix
Home Page: https://flix.dev/
flix language hacktoberfest functional imperative logic jvm programming-language

galigator / openllet
logic,Openllet is an OWL 2 reasoner in Java, build on top of Pellet.
User: galigator
Home Page: https://www.w3.org/TR/owl2-primer/
owl logic reasoner semantic owl-api jena java owl2 inference

ggbrw / boolr
logic,A digital logic simulator
User: ggbrw
Home Page: http://boolr.me
digital logic-gates logic simulation simulator

gingerbeardman / mandala
logic,A little playground for testing pixel logic patterns.
User: gingerbeardman
logic mandala mandala-art pixels

hendrycks / math
logic,The MATH Dataset (NeurIPS 2021)
User: hendrycks
math reasoning logic

hneemann / digital
logic,A digital logic designer and circuit simulator.
User: hneemann
circuit digital-circuits logisim simulator logic-gates education logic

hussainather / awesome-philosophy
logic,A curated list of awesome philosophy
User: hussainather
awesome-list philosophy ethics aesthetics logic epistemology history-of-philosophy philosophy-of-science philosophy-of-mind

i5ting / imove
logic,INACTIVE: Move your mouse, generate code from flow chart
User: i5ting
Home Page: https://www.yuque.com/imove/docs/hvu0md
flowchart xstate x6 javascript logic lowcode

ibm / lnn
logic,A `Neural = Symbolic` framework for sound and complete weighted real-value logic
Organization: ibm
Home Page: https://IBM.github.io/LNN/
neuro-symbolic-ai machine-learning reasoning logic

jdryg / dls-schematics
logic,Schematics for DLS - The Digital Logic Simulator game http://makingartstudios.itch.io/dls
User: jdryg
schematic digital logic dls cpu simulation

jfaler / philosophy
logic,:octocat: A list of philosophy books and resources.
User: jfaler
Home Page: https://justinfaler.com/Philosophize/
books philosophy logic metaphysics aesthetics epistemology politics ethics symbols wisdom

klaudiosinani / awesome-prolog
logic,Curated list of Prolog packages and resources
User: klaudiosinani
awesome prolog list logic programming

lab-v2 / pyreason
logic,An explainable inference software supporting annotated, real valued, graph based and temporal logic
Organization: lab-v2
Home Page: https://neurosymbolic.asu.edu/pyreason/
logic logic-programming machine-learning neurosymbolic python temporal-logic

latte-central / latte
logic,LaTTe : a Laboratory for Type Theory experiments (in clojure)
Organization: latte-central
Home Page: http://latte-central.github.io/LaTTe/
clojure proof-assistant logic mathematics

littlelollipop / lbox
logic,
User: littlelollipop
android utils logic

logicalatomist / principia
logic,The Principia Rewrite
User: logicalatomist
Home Page: https://www.principiarewrite.com/
logic history-of-philosophy coq coq-ecosystem formal-logic formal-mathematics formal-proofs latex latex-packages

logisim-evolution / logisim-evolution
logic,Digital logic design tool and simulator
Organization: logisim-evolution
logisim-evolution education circuit circuits digital-circuit digital-circuits simulator logic digital-logic digital-logic-design

magmide / magmide
logic,A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
Organization: magmide
formal-verification formal-methods type-safety systems-programming dependent-types verification logic coq

mazince / veecom
logic,A Simple Yet Powerful RISC-V Computer
User: mazince
risc-v computer cpu logic logisim computer-architecture computer-engineering logisim-computer

minetest-mods / mesecons
logic,Mod for minetest that adds digital circuitry [=Minecraft redstone]
Organization: minetest-mods
Home Page: https://mesecons.net
minetest redstone wires logic minetest-mod

neogeodev / neogeofpga-sim
logic,Simulation only cartridge NeoGeo hardware definition
Organization: neogeodev
neogeo fpga verilog logic snk arcade mvs chip simulation neo-geo

newca12 / awesome-rust-formalized-reasoning
logic,An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
User: newca12
formal-verification prover automated-theorem-provers theorem-prover reasoning logic constructive-mathematics dependent-types theorem-proving proof-assistants

nucleoidai / nucleoid
logic,Reasoning Engine for Neuro-Symbolic AI
Organization: nucleoidai
Home Page: https://nucleoid.ai
node javascript neuro-symbolic-ai neuro-symbolic reasoning semantic-reasoning symbolic symbolic-ai reasoning-engine semantic-reasoner

opencircuits / opencircuits
logic,A free, open source, online digital circuit/logic designer.
Organization: opencircuits
Home Page: https://www.opencircuits.io/
circuit circuit-simulator circuits designer digital-circuit-design digital-circuits education hacktoberfest logic logic-gates simulator typescript

opennars / opennars
logic,OpenNARS for Research 3.0+
Organization: opennars
Home Page: http://www.opennars.org/
agi aikr nars reasoning logic ai agent rl learning reinforcement

pietrobarbiero / pytorch_explain
logic,PyTorch Explain: Interpretable Deep Learning in Python.
User: pietrobarbiero
logic pytorch python machine-learning neural-network deep-learning explainability explainable-ai lens entropy

r4gus / nodus
logic,A logic gate simulator written in Rust using the Bevy game engine.
User: r4gus
bevy bevy-engine simulator rust logic-gates logic logic-circuit circuit gate

schwering / limbo
logic,A Reasoning System for a First-Order Logic of Limited Belief, written in C++
User: schwering
beliefs knowledge logic reasoning

sneeuwballen / zipperposition
logic,An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.
Organization: sneeuwballen
Home Page: https://sneeuwballen.github.io/zipperposition/
prover superposition ocaml experimental logic computer-science-algorithms prototype induction polymorphism rewriting

spamegg1 / math-for-cs-solutions
logic,Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)
User: spamegg1
calculus counting functions graph graph-theory induction math probability proofs set-theory

spamegg1 / reviews
logic,Reviewing some online CS courses I took
User: spamegg1
programming-languages algorithms computer-graphics databases logic mathematics networking operating-systems assembly hdl

sreahw / schuller-geometric
logic,Source code for lecture notes
User: sreahw
Home Page: http://mathswithphysics.blogspot.com/
logic notes truth axioms sets classification topology homotopy manifolds bundles

steshaw / plt
logic,Programming Language Theory λΠ
User: steshaw
Home Page: https://steshaw.org/plt/
programming-languages type-theory functional-programming category-theory logic proof-theory

switz / driver
logic,🏁 A typescript package for declaring finite states and commonly derived values - zero dependencies, fully typed, & framework agnostic.
User: switz
Home Page: https://npmjs.com/package/@switz/driver
logic state-machine ui javascript state typescript

ufocoder / javascript.anomaly
logic,Examples of not obvious behaviors for javascript beginner programmers
User: ufocoder
javascript anomaly closure logic math

vaticle / typedb
logic,TypeDB: the polymorphic database powered by types
Organization: vaticle
Home Page: https://typedb.com
database knowledge-base knowledge-representation reasoning logic inference typedb typeql type-system strongly-typed

vaticle / typeql
logic,TypeQL: the polymorphic query language of TypeDB
Organization: vaticle
Home Page: https://typedb.com
reasoning query-language query inference logic database typedb typeql type-system strongly-typed polymorphic polymorphism

wotbrew / relic
logic,Functional relational programming for Clojure(Script).
User: wotbrew
Home Page: https://www.wotbrew.com/relic
clojure relational-algebra relations logic dataflow sql incremental-view-maintenance

ztangent / julog.jl
logic,A Julia package for Prolog-style logic programming.
User: ztangent
first-order-logic fol julia logic logic-programming prolog