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 23 Logic Open Source Projects

Plt ⭐ 4,452
λΠ Programming Language Theory
Imove ⭐ 2,683
Move your mouse, generate code from flow chart
Typedb ⭐ 2,659
TypeDB: a strongly-typed database
Digital ⭐ 1,709
A digital logic designer and circuit simulator.
Flix ⭐ 735
The Flix Programming Language
Boolr ⭐ 456
A digital logic simulator
Awesome Prolog ⭐ 353
Curated list of Prolog packages and resources
Opennars ⭐ 275
OpenNARS for Research 3.0+
Limbo ⭐ 234
A Reasoning System for a First-Order Logic of Limited Belief, written in C++
Acl2 ⭐ 212
ACL2 System and Books as Maintained by the Community
Latte ⭐ 212
LaTTe : a Laboratory for Type Theory experiments (in clojure)
Philosophy ⭐ 210
A list of philosophy books and resources.
Mesecons ⭐ 164
Mod for minetest that adds digital circuitry [=minecraft redstone]
Javascript.anomaly ⭐ 129
Examples of not obvious behaviors for javascript beginner programmers
Lbox ⭐ 129
Math ⭐ 127
The MATH Dataset
Dls Schematics ⭐ 124
Schematics for DLS - The Digital Logic Simulator game http://makingartstudios.itch.io/dls
Nalu ⭐ 110
Basic pytorch implementation of NAC/NALU from Neural Arithmetic Logic Units paper by trask et.al
Lomrf ⭐ 73
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.
Zipperposition ⭐ 54
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.
Truthtablegenerator ⭐ 34
Generates truth tables for formulas of sentential logic
Modal_logic ⭐ 19
Final Year Masters Project: modal logic solver tableaux
1-23 of 23 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