Awesome Open Source
Awesome Open Source
Combined Topics
logic x
Advertising 📦 9
All Projects
Application Programming Interfaces 📦 120
Applications 📦 181
Artificial Intelligence 📦 72
Blockchain 📦 70
Build Tools 📦 111
Cloud Computing 📦 79
Code Quality 📦 28
Collaboration 📦 30
Command Line Interface 📦 48
Community 📦 81
Companies 📦 60
Compilers 📦 60
Computer Science 📦 74
Configuration Management 📦 39
Content Management 📦 167
Control Flow 📦 197
Data Formats 📦 77
Data Processing 📦 266
Data Storage 📦 132
Economics 📦 60
Frameworks 📦 198
Games 📦 122
Graphics 📦 103
Hardware 📦 148
Integrated Development Environments 📦 47
Learning Resources 📦 147
Legal 📦 28
Libraries 📦 119
Lists Of Projects 📦 21
Machine Learning 📦 336
Mapping 📦 61
Marketing 📦 15
Mathematics 📦 55
Media 📦 228
Messaging 📦 97
Networking 📦 304
Operating Systems 📦 84
Operations 📦 120
Package Managers 📦 52
Programming Languages 📦 229
Runtime Environments 📦 96
Science 📦 42
Security 📦 375
Social Media 📦 26
Software Architecture 📦 70
Software Development 📦 68
Software Performance 📦 57
Software Quality 📦 127
Text Editors 📦 45
Text Processing 📦 131
User Interface 📦 310
User Interface Components 📦 465
Version Control 📦 29
Virtualization 📦 68
Web Browsers 📦 38
Web Servers 📦 25
Web User Interface 📦 194

The Top 391 Logic Open Source Projects on Github

Plt ⭐ 4,491
λΠ Programming Language Theory
Imove ⭐ 3,006
Move your mouse, generate code from flow chart
Typedb ⭐ 2,865
TypeDB: a strongly-typed database
Digital ⭐ 1,973
A digital logic designer and circuit simulator.
Logisim Evolution ⭐ 1,587
Digital logic design tool and simulator
Flix ⭐ 866
The Flix Programming Language
Boolr ⭐ 422
A digital logic simulator
Awesome Prolog ⭐ 371
Curated list of Prolog packages and resources
Opennars ⭐ 252
OpenNARS for Research 3.0+
Limbo ⭐ 232
A Reasoning System for a First-Order Logic of Limited Belief, written in C++
Acl2 ⭐ 224
ACL2 System and Books as Maintained by the Community
Philosophy ⭐ 210
A list of philosophy books and resources.
Latte ⭐ 208
LaTTe : a Laboratory for Type Theory experiments (in clojure)
Mesecons ⭐ 167
Mod for minetest that adds digital circuitry [=minecraft redstone]
Typeql ⭐ 142
TypeQL: the query language of TypeDB - a strongly-typed database
Math ⭐ 130
The MATH Dataset
Javascript.anomaly ⭐ 113
Examples of not obvious behaviors for javascript beginner programmers
Dls Schematics ⭐ 112
Schematics for DLS - The Digital Logic Simulator game http://makingartstudios.itch.io/dls
Nalu ⭐ 109
Basic pytorch implementation of NAC/NALU from Neural Arithmetic Logic Units paper by trask et.al
Badarguments ⭐ 107
Book of Bad Arguments & Mr. Rabbit's Guide to Sneaky Rhetoric
Julog.jl ⭐ 98
A Julia package for Prolog-style logic programming.
Opencircuits ⭐ 92
A free, open source, online digital circuit/logic designer.
Neogeofpga Sim ⭐ 87
Simulation only cartridge NeoGeo hardware definition
Ciao ⭐ 79
Ciao is a general purpose, multi-paradigm programming language in the Prolog family
Zipperposition ⭐ 72
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.
Lomrf ⭐ 70
LoMRF is an open-source implementation of Markov Logic Networks
Openllet ⭐ 67
Openllet is an OWL 2 reasoner in Java, build on top of Pellet.
Ml Gradle ⭐ 65
Gradle plugin for automating everything involving MarkLogic
Spaghetti ⭐ 61
Graphical logic editor/simulator
Python Business Logic ⭐ 54
Python package that makes creating complicated business logic easy
Schuller Geometric ⭐ 54
Source code for lecture notes
Vulcan ⭐ 51
A JavaScript propositional logic and resolution library
Awesome Rust Formalized Reasoning ⭐ 48
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
Stanford Introduction To Mathematical Thinking ⭐ 46
Keith Devlin's Introduction to Mathematical Thinking course on Coursera (2017 Spring)
Canrun_rs ⭐ 40
A Rust logic programming library inspired by the *Kanren family of language DSLs.
Lps.js ⭐ 39
Logic Production System (LPS) programming language interpreter implemented in JavaScript for Node.js and browsers.
Ipc_solver ⭐ 38
O(N log N)-space IPC solver in OCaml
Nunchaku ⭐ 38
Model finder for higher-order logic
Forallx Yyc ⭐ 38
UCalgary version of forallx, an introduction to formal logic
Nlr ⭐ 36
Code for paper: Neural Logic Reasoning
Logiccircuits.jl ⭐ 34
Logic Circuits from the Juice library
Xfunc ⭐ 33
xFunc is a simple and easy to use application that allows you to build mathematical and logical expressions. It's written on C#. The library includes the code that converts strings to expressions (parser, lexer and etc.)
Lpl Solutions ⭐ 33
Solutions for the book "Language Proof and Logic".
Awesome Philosophy ⭐ 31
A curated list of awesome philosophy
Truthtablegenerator ⭐ 31
Generates truth tables for formulas of sentential logic
Cscv2 ⭐ 27
Version 2 of my Crazy Small CPU
Lps Studio ⭐ 27
🎬 Logic-based interactive storytelling tool for running Logic Production System (LPS) programs using lps.js, Electron and Angular 🎨
Lecturas_glc ⭐ 27
Lecturas del Grupo de Lógica Computacional
Logic Circuit Simulator ⭐ 26
A logic circuit simulator made with p5.js library.
Smcdel ⭐ 26
A symbolic model checker for Dynamic Epistemic Logic.
Layer_augmentation ⭐ 23
Implementation of the NLI model in our ACL 2019 paper: Augmenting Neural Networks with First-order Logic.
Leo Iii ⭐ 23
An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
Techmillforkids ⭐ 22
An introductory workshop for binary math, basic electronics, logic gates, and basic computing operations. For kids as young as 9.
React Json Logic ⭐ 19
Build and evaluate JsonLogic with React components
Theolog Ss2017 ⭐ 19
Notizen zur TheoLog-Vorlesung mit Begriffen aus Formale Systeme. Hinweis: die Unterlagen sind für die VL in 2017 und können Fehler enthalten
Viatra Generator ⭐ 19
An efficient graph solver for generating well-formed models
Consistency ⭐ 19
Implementation of models in our EMNLP 2019 paper: A Logic-Driven Framework for Consistency of Neural Models
Truth Table Generator ⭐ 19
truth-table-generator is a tool that allows to generate a truth table
Pytorch_explain ⭐ 19
PyTorch Explain: Logic Explained Networks in Python.
Fitchjs ⭐ 18
Fitch style proof constructor
Awesome Neural Logic ⭐ 17
Awesome Neural Logic and Causality: MLN, NLRL, NLM, etc. 因果推断，神经逻辑，强人工智能逻辑推理前沿领域。
Js To Json Logic ⭐ 17
Generate JSON Logic objects using JavaScript syntax.
C Program ⭐ 17
Most of the standard question you can find in this repo.
Switch ⭐ 16
Switch is a small logic game that demonstrates usage of Pixar USD and Hydra on Windows.
Problem Solving Class Lectures ⭐ 16
Lectures for the "Problem Solving" Class at Nanjing University.
15puzzle ⭐ 16
Simple Android sliding puzzle game
Logijs ⭐ 16
Discover and create logic circuits
Modal_logic ⭐ 15
Final Year Masters Project: modal logic solver tableaux
Oja ⭐ 15
Lightweight Dependency Injection Framework for Node.JS Apps - Structure your application business logic
Lpl ⭐ 14
📚Solutions to Language, Proof and Logic (2nd Edition)
Principia ⭐ 14
The Principia Rewrite
Iobroker.linkeddevices ⭐ 13
Create linked objects (datapoints) of your devices with a self-defined structure. This makes it possible to create a structure in ioBroker, where all objects are centralized, e.g. to be used in the vis or scripts.
Haskell Picosat ⭐ 13
Haskell bindings for PicoSAT solver
Flloat ⭐ 12
From LTLf/LDLf To Automata
Lbox ⭐ 12
Bloc ⭐ 12
A predictable state management library that helps implement the BLoC design pattern
Illogical ⭐ 12
A micro conditional javascript engine used to parse the raw logical and comparison expressions, evaluate the expression in the given data context, and provide access to a text form of the given expressions.
Heyting Algebras ⭐ 11
Heyting Algebras in Haskell
Smartass ⭐ 11
Test your javascript knowledge
Picologic ⭐ 11
Symbolic logic expressions
Smbc ⭐ 11
Experimental model finder/SMT solver for functional programming.
Firstorderlogic.jl ⭐ 11
Julia package for parsing, manipulating and evaluating formulas in first-order logic.
Python Nnf ⭐ 11
Manipulate NNF (Negation Normal Form) logical sentences
Ltl Visualizer ⭐ 11
An interactive visualizer for linear temporal logic (LTL)
Derivation Machine ⭐ 11
Propositional calculus in Haskell
Fcar ⭐ 10
Tools for Formal Concept Analysis
Konclude ⭐ 10
Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL
Hypermatch ⭐ 10
A fast, sandboxed micro matching engine with serializable rules.
Neochips ⭐ 10
Replacement "chips" for NeoGeo systems
Mfjs Logic ⭐ 10
Logical programming in JavaScript
Owlstar ⭐ 9
Ontological Interpretations for Web Property Graphs
Gralog ⭐ 9
Visualize Graphs, Algorithms, Logics and Games
Typeql Lang Java ⭐ 9
TypeQL language library for Java
Scala Atp ⭐ 9
Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to Scala
Intro Desarrollo Web ⭐ 9
Apunte guía de introducción al desarrollo web. El objetivo es que en 8 clases de 2 horas aprendas a aprender a programar por tu cuenta.
Logic Rs ⭐ 9
A parser of relational predicate logic & truth tree solver, written in Rust.
Vlogsolv ⭐ 9
vlogsolv is a small command line program that calculates value tables for logical expressions
Systemt ⭐ 8
An interpreter for Gödel's System T
Funarith ⭐ 8
[wip] functorial library with classic algorithms for arithmetic
Tombstone.js ⭐ 8
📗 A JavaScript propositional logic library.
1-100 of 391 projects

Related Projects

Logic Gates Projects (76)
Javascript Logic Projects (62)
Python Logic Projects (52)
Java Logic Projects (35)
Mathematics Logic Projects (23)
Haskell Logic Projects (23)
Prolog Logic Projects (18)
Typescript Logic Projects (17)
C Plus Plus Logic Projects (17)
Game Logic Projects (17)
Html Logic Projects (16)
Logic Reasoning Projects (14)
Advertising 📦 9
All Projects
Application Programming Interfaces 📦 120
Applications 📦 181
Artificial Intelligence 📦 72
Blockchain 📦 70
Build Tools 📦 111
Cloud Computing 📦 79
Code Quality 📦 28
Collaboration 📦 30
Command Line Interface 📦 48
Community 📦 81
Companies 📦 60
Compilers 📦 60
Computer Science 📦 74
Configuration Management 📦 39
Content Management 📦 167
Control Flow 📦 197
Data Formats 📦 77
Data Processing 📦 266
Data Storage 📦 132
Economics 📦 60
Frameworks 📦 198
Games 📦 122
Graphics 📦 103
Hardware 📦 148
Integrated Development Environments 📦 47
Learning Resources 📦 147
Legal 📦 28
Libraries 📦 119
Lists Of Projects 📦 21
Machine Learning 📦 336
Mapping 📦 61
Marketing 📦 15
Mathematics 📦 55
Media 📦 228
Messaging 📦 97
Networking 📦 304
Operating Systems 📦 84
Operations 📦 120
Package Managers 📦 52
Programming Languages 📦 229
Runtime Environments 📦 96
Science 📦 42
Security 📦 375
Social Media 📦 26
Software Architecture 📦 70
Software Development 📦 68
Software Performance 📦 57
Software Quality 📦 127
Text Editors 📦 45
Text Processing 📦 131
User Interface 📦 310
User Interface Components 📦 465
Version Control 📦 29
Virtualization 📦 68
Web Browsers 📦 38
Web Servers 📦 25
Web User Interface 📦 194
"GitHub" is a registered trademark of GitHub, Inc. Awesome Open Source is not affiliated with GitHub.

All non readme contents or Github based topics or project metadata copyright Awesome Open Source 2018-2021