Topic: logic Goto Github

👇 Here are 1863 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

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
pytorch nalu alu deep-learning neural-network deepmind arithmetic logic accumulator machine-learning

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

diagram-of-thought / diagram-of-thought
logic,Official implementation of paper "On the Diagram of Thought" (https://arxiv.org/abs/2409.10038)
Organization: diagram-of-thought
Home Page: https://huggingface.co/papers/2409.10038
large-language-models llm reasoning logic math

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

formalizedformallogic / foundation
logic,Formalization of Mathematical Logic
Organization: formalizedformallogic
Home Page: https://formalizedformallogic.github.io/Foundation/
lean4 logic

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

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/
logic machine-learning neuro-symbolic-ai reasoning

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/Philosophy/
books philosophy logic metaphysics aesthetics epistemology politics ethics symbols wisdom

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

knowsys / nemo
logic,A fast in-memory rule engine
Organization: knowsys
Home Page: https://knowsys.github.io/nemo-doc/
datalog rule-engine language logic logic-programming rdf knowledge-graph

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

mazin-o3 / veecom
logic,Simple Yet Powerful RISC-V Computer
User: mazin-o3
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

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,Neuro-Symbolic AI with Knowledge Graph | "True Reasoning" through data and logic 🌿🌱🐋🌍
Organization: nucleoidai
Home Page: https://nucleoid.ai
expert-system graph-rag knowledge knowledge-base knowledge-graph logic logic-programming neuro-symbolic neuro-symbolic-ai neuro-symbolic-learning node rag reasoning reasoning-engine semantic-reasoner semantic-reasoning symbolic typescript

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

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
logic reasoning knowledge beliefs

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 declarative 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

typedb / typedb
logic,TypeDB: the power of programming, in your database
Organization: typedb
Home Page: https://typedb.com
database knowledge-base knowledge-representation reasoning logic inference typedb typeql type-system strongly-typed

typedb / typeql
logic,TypeQL: the power of programming, in your database
Organization: typedb
Home Page: https://typedb.com
reasoning query-language query inference logic database typedb typeql type-system strongly-typed

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

veyselusta / programming-language-research
logic,Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
User: veyselusta
compilers programming-languages type-theory formal-methods functional-programming interpreters logic

wotbrew / relic
logic,Functional relational programming for Clojure(Script).
User: wotbrew
Home Page: https://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
julia prolog first-order-logic logic logic-programming fol