#

logic

Here are 1,022 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 Apr 22, 2022
Java

hneemann / Digital

A digital logic designer and circuit simulator.

education simulator logic circuit logic-gates logisim digital-circuits

Updated Apr 20, 2022
Java

logisim-evolution / logisim-evolution

Open

Remove "Printer view" from Preferences->Layout

2

maehne commented Apr 12, 2022

We had so far 3 tickets (issues #862, #1324, #1434) plus several occasions in the classroom, where users thought simulation was broken in Logisim-evolution due they had inadvertently activated "Printer view" in Preferences-> Layout. So, it seems that this functionaly is causing more confusion than added value. I see its only value when exporting circuits as an image. IMHO, we should either remove

Read more

enhancement help wanted pri -1 all OS

Open

GUI zoom factor reset to auto

3

Open

Feature Request: better mouse controls (zoom and panning)

3

Find more good first issues

flix / flix

The Flix Programming Language

language programming-language functional jvm logic flix hacktoberfest imperative

Updated Apr 23, 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

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

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

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 Apr 8, 2022
Coq

Jfaler / Philosophy

Sponsor

A list of philosophy books and resources.

list nothing good books politics evil logic philosophy mathematics symbols aesthetics wisdom truth metaphysics thinking epistemology ethics philosopher morals dialectic

Updated Dec 27, 2020

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 Apr 23, 2022
Common Lisp

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 Apr 22, 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 Apr 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

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 Apr 23, 2022
TypeScript

ztangent / Julog.jl

A Julia package for Prolog-style logic programming.

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

Updated Mar 25, 2022
Julia

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."