The Wayback Machine - https://web.archive.org/web/20220529093732/https://github.com/topics/logic

#

logic

Here are 1,049 public repositories matching this topic...

steshaw / plt

Programming Language Theory λΠ

functional-programming logic type-theory category-theory programming-languages proof-theory

Updated Mar 13, 2022
CSS

i5ting / imove

INACTIVE: Move your mouse, generate code from flow chart

javascript logic flowchart xstate lowcode x6

Updated Mar 22, 2022
TypeScript

typedb

vaticle / typedb

TypeDB: a strongly-typed database

database graph logic inference knowledge-graph graph-theory graph-database graphdb knowledge-base type-system strongly-typed graph-visualisation relational knowledge-representation reasoning enterprise-knowledge-graph hyper-relational typedb typeql

Updated May 27, 2022
Java

hneemann / Digital

A digital logic designer and circuit simulator.

education simulator logic circuit logic-gates logisim digital-circuits

Updated May 27, 2022
Java

logisim-evolution / logisim-evolution

Open

Font size too large in the canvas

3

dxhisboy commented May 4, 2022

I'm not sure about if it was a system configuration problem on my computer. Most of my computers runs Archlinux with Java 18. It seems the pin text of RAM is too large and overlaps each other:

While I didn't found a way to configure font of the canvas in menus. I found that a modifica

Read more

bug pri std good first issue

Open

HDL: Prio encoder warning

Open

logisim-evulution fails to run vsim albeit LM_LICENSE_FILE been set

5

Find more good first issues

flix / flix

The Flix Programming Language

language programming-language functional jvm logic flix hacktoberfest imperative

Updated May 29, 2022
Scala

GGBRW / BOOLR

A digital logic simulator

simulator digital simulation logic logic-gates

Updated Mar 3, 2022
JavaScript

klaussinani / awesome-prolog

Sponsor

Curated list of Prolog packages and resources

list awesome programming logic prolog

Updated Sep 21, 2021

alexanyernas / Ejercicios-Practicos

Mejora tu lógica de programación y aprende mucho más resolviendo estos ejercicios.

practice logic exercises logic-programming

Updated Feb 8, 2022

opennars / opennars

Open

add Sentence.isQuestionOrQuest()

5

PtrMan commented May 6, 2018

isQuestion() || sentence.isQuest() occurs frequently all over the place
https://github.com/opennars/opennars/search?utf8=%E2%9C%93&q=isQuestion%28%29+%7C%7C+sentence.isQuest%28%29&type=

Read more

discussion refactor good first issue

Open

refactor parameters

Open

rename NAR inputs to nar

2

Find more good first issues

magmide / magmide

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

dependent-types coq logic verification formal-methods type-safety formal-verification systems-programming

Updated May 24, 2022
Coq

acl2 / acl2

ACL2 System and Books as Maintained by the Community

common-lisp logic theorem-proving first-order-logic formal-methods formal-verification theorem-prover rewriting acl2

Updated May 29, 2022
Common Lisp

Jfaler / Philosophy

Sponsor

A list of philosophy books and resources.

Updated Dec 27, 2020

schwering / limbo

A Reasoning System for a First-Order Logic of Limited Belief, written in C++

knowledge logic reasoning beliefs

Updated Dec 23, 2020
C++

latte-central / LaTTe

LaTTe : a Laboratory for Type Theory experiments (in clojure)

clojure logic mathematics proof-assistant

Updated Aug 3, 2021
Clojure

hendrycks / math

The MATH Dataset (NeurIPS 2021)

math logic reasoning

Updated Oct 18, 2021
Python

minetest-mods / mesecons

Mod for minetest that adds digital circuitry [=Minecraft redstone]

minetest logic redstone minetest-mod wires

Updated May 21, 2022
Lua

principia

LogicalAtomist / principia

The Principia Rewrite

latex coq logic latex-packages formal-mathematics coq-ecosystem formal-proofs formal-logic history-of-philosophy

Updated Apr 3, 2022
Coq

typeql

vaticle / typeql

TypeQL: the query language of TypeDB - a strongly-typed database

query database logic inference type-system strongly-typed query-language reasoning typedb typeql

Updated May 20, 2022
Starlark

LittleLollipop / LBox

android utils logic

Updated Jul 28, 2020
Java

ufocoder / javascript.anomaly

Examples of not obvious behaviors for javascript beginner programmers

javascript math logic closure anomaly

Updated Jun 12, 2019

jdryg / dls-schematics

Schematics for DLS - The Digital Logic Simulator game http://makingartstudios.itch.io/dls

cpu digital simulation logic schematic dls

Updated Jan 27, 2019
Lua

ztangent / Julog.jl

A Julia package for Prolog-style logic programming.

julia logic prolog first-order-logic logic-programming fol

Updated Apr 27, 2022
Julia

OpenCircuits

OpenCircuits / OpenCircuits

Sponsor

A free, open source, online digital circuit/logic designer.

education typescript simulator logic circuit-simulator circuits designer circuit logic-gates hacktoberfest digital-circuits digital-circuit-design

Updated May 16, 2022
TypeScript

fenwii / LibraryBookSearchEngine

LibraryBookSearchEngine，link librarys of all 197 Countries, search all resources of books，for student, research,图书馆图书搜索引擎,在家链接全球197个国家的图书馆，搜索图书资源,学生必备，科研必备，学习必备工具。

learning students science search-engine library books research university book logic academic lib teaching student college thinking 197countries bookengine librarysearchengine

Updated Jan 5, 2022

ciao-lang / ciao

Ciao is a general purpose, multi-paradigm programming language in the Prolog family

programming-language interpreter bytecode compiler virtual-machine logic prolog prolog-implementation constraints prolog-interpreter logic-programming clp prolog-programming-language prolog-compiler iso-prolog-standard ciao-prolog

Updated Mar 7, 2022
Prolog

wotbrew / relic

Functional relational programming for Clojure(Script).

clojure sql logic dataflow relational-algebra relations

Updated Feb 8, 2022
Clojure

almossawi / badarguments

Book of Bad Arguments & Mr. Rabbit's Guide to Sneaky Rhetoric

arguments logic debate critical-thinking logical-fallacies illustrated-book free-books

Updated Apr 9, 2022
HTML

bharathgs / NALU

Basic pytorch implementation of NAC/NALU from Neural Arithmetic Logic Units paper by trask et.al

machine-learning deep-learning neural-network logic pytorch arithmetic deepmind alu accumulator nalu

Updated Oct 3, 2018
Python

sreahw / schuller-geometric

Source code for lecture notes

topology curves notes geometry physics logic classification algebras bundles homotopy truth lie sets manifolds axioms dynkin

Updated Dec 30, 2019
TeX

Improve this page

Add a description, image, and links to the logic topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the logic topic, visit your repo's landing page and select "manage topics."