logic

Star

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

steshaw / plt

Star

Programming Language Theory λΠ

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

Updated Jun 27, 2022
CSS

i5ting / imove

Star

INACTIVE: Move your mouse, generate code from flow chart

javascript logic flowchart xstate lowcode x6

Updated Mar 22, 2022
TypeScript

vaticle / typedb

Star

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 Aug 23, 2022
Java

logisim-evolution / logisim-evolution

Star

Digital logic design tool and simulator

education simulator fpga vhdl logic circuits verilog circuit digital-logic logisim digital-circuit digital-circuits timing-diagram digital-logic-design logisim-evolution

Updated Aug 24, 2022
Java

hneemann / Digital

Star

A digital logic designer and circuit simulator.

education simulator logic circuit logic-gates logisim digital-circuits

Updated Aug 20, 2022
Java

flix / flix

Star

The Flix Programming Language

language programming-language functional jvm logic flix hacktoberfest imperative

Updated Aug 23, 2022
Scala

magmide / magmide

Star

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 Aug 10, 2022
Coq

GGBRW / BOOLR

Star

A digital logic simulator

simulator digital simulation logic logic-gates

Updated Mar 3, 2022
JavaScript

klaussinani / awesome-prolog

Sponsor

Star

Curated list of Prolog packages and resources

list awesome programming logic prolog

Updated Sep 21, 2021

alexanyernas / Ejercicios-Practicos

Star

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

Star

OpenNARS for Research 3.0+

Updated Mar 31, 2021
Java

acl2 / acl2

Star

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 Aug 24, 2022
Common Lisp

Jfaler / Philosophy

Sponsor

Star

A list of philosophy books and resources.

Updated Dec 27, 2020

schwering / limbo

Star

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

knowledge logic reasoning beliefs

Updated Dec 23, 2020
C++

hendrycks / math

Star

The MATH Dataset (NeurIPS 2021)

math logic reasoning

Updated Oct 18, 2021
Python

latte-central / LaTTe

Star

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

clojure logic mathematics proof-assistant

Updated Aug 3, 2021
Clojure

LogicalAtomist / principia

Star

The Principia Rewrite

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

Updated Aug 11, 2022
Coq

minetest-mods / mesecons

Star

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

minetest logic redstone minetest-mod wires

Updated Aug 22, 2022
Lua

vaticle / typeql

Star

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

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

Updated Aug 3, 2022
Java

LittleLollipop / LBox

Star

android utils logic

Updated Jul 28, 2020
Java

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

Learn more