Awesome Open Source
Awesome Open Source
Combined Topics
logic x
Advertising 📦 10
All Projects
Application Programming Interfaces 📦 124
Applications 📦 192
Artificial Intelligence 📦 78
Blockchain 📦 73
Build Tools 📦 113
Cloud Computing 📦 80
Code Quality 📦 28
Collaboration 📦 32
Command Line Interface 📦 49
Community 📦 83
Companies 📦 60
Compilers 📦 63
Computer Science 📦 80
Configuration Management 📦 42
Content Management 📦 175
Control Flow 📦 213
Data Formats 📦 78
Data Processing 📦 276
Data Storage 📦 135
Economics 📦 64
Frameworks 📦 215
Games 📦 129
Graphics 📦 110
Hardware 📦 152
Integrated Development Environments 📦 49
Learning Resources 📦 166
Legal 📦 29
Libraries 📦 129
Lists Of Projects 📦 22
Machine Learning 📦 347
Mapping 📦 64
Marketing 📦 15
Mathematics 📦 55
Media 📦 239
Messaging 📦 98
Networking 📦 315
Operating Systems 📦 89
Operations 📦 121
Package Managers 📦 55
Programming Languages 📦 245
Runtime Environments 📦 100
Science 📦 42
Security 📦 396
Social Media 📦 27
Software Architecture 📦 72
Software Development 📦 72
Software Performance 📦 58
Software Quality 📦 133
Text Editors 📦 49
Text Processing 📦 136
User Interface 📦 330
User Interface Components 📦 514
Version Control 📦 30
Virtualization 📦 71
Web Browsers 📦 42
Web Servers 📦 26
Web User Interface 📦 210

The Top 21 Logic Open Source Projects

Plt ⭐ 4,385
λΠ Programming Language Theory
Grakn ⭐ 2,567
Grakn Core: The Knowledge Graph
Imove ⭐ 1,989
Move your mouse, generate code from flow chart
Digital ⭐ 1,070
A digital logic designer and circuit simulator.
Flix ⭐ 717
The Flix Programming Language
Boolr ⭐ 440
A digital logic simulator
Awesome Prolog ⭐ 341
Curated list of Prolog packages and resources
Opennars ⭐ 261
OpenNARS for Research 3.0+
Limbo ⭐ 233
A Reasoning System for a First-Order Logic of Limited Belief, written in C++
Latte ⭐ 209
LaTTe : a Laboratory for Type Theory experiments (in clojure)
Philosophy ⭐ 202
A list of philosophy books and resources.
Acl2 ⭐ 196
ACL2 System and Books as Maintained by the Community
Mesecons ⭐ 164
Mod for minetest that adds digital circuitry [=minecraft redstone]
Dls Schematics ⭐ 123
Schematics for DLS - The Digital Logic Simulator game http://makingartstudios.itch.io/dls
Javascript.anomaly ⭐ 123
Examples of not obvious behaviors for javascript beginner programmers
Nalu ⭐ 110
Basic pytorch implementation of NAC/NALU from Neural Arithmetic Logic Units paper by trask et.al
Lbox ⭐ 110
Lomrf ⭐ 73
LoMRF is an open-source implementation of Markov Logic Networks
Openllet ⭐ 66
Openllet is an OWL 2 reasoner in Java, build on top of Pellet.
Zipperposition ⭐ 45
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.
Modal_logic ⭐ 16
Final Year Masters Project: modal logic solver tableaux
1-21 of 21 projects
Advertising 📦 10
All Projects
Application Programming Interfaces 📦 124
Applications 📦 192
Artificial Intelligence 📦 78
Blockchain 📦 73
Build Tools 📦 113
Cloud Computing 📦 80
Code Quality 📦 28
Collaboration 📦 32
Command Line Interface 📦 49
Community 📦 83
Companies 📦 60
Compilers 📦 63
Computer Science 📦 80
Configuration Management 📦 42
Content Management 📦 175
Control Flow 📦 213
Data Formats 📦 78
Data Processing 📦 276
Data Storage 📦 135
Economics 📦 64
Frameworks 📦 215
Games 📦 129
Graphics 📦 110
Hardware 📦 152
Integrated Development Environments 📦 49
Learning Resources 📦 166
Legal 📦 29
Libraries 📦 129
Lists Of Projects 📦 22
Machine Learning 📦 347
Mapping 📦 64
Marketing 📦 15
Mathematics 📦 55
Media 📦 239
Messaging 📦 98
Networking 📦 315
Operating Systems 📦 89
Operations 📦 121
Package Managers 📦 55
Programming Languages 📦 245
Runtime Environments 📦 100
Science 📦 42
Security 📦 396
Social Media 📦 27
Software Architecture 📦 72
Software Development 📦 72
Software Performance 📦 58
Software Quality 📦 133
Text Editors 📦 49
Text Processing 📦 136
User Interface 📦 330
User Interface Components 📦 514
Version Control 📦 30
Virtualization 📦 71
Web Browsers 📦 42
Web Servers 📦 26
Web User Interface 📦 210