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

Categories > Learning Resources > Logic
Plt ⭐4,223
λΠ Programming Language Theory
Grakn ⭐2,082
Grakn Core: The Knowledge Graph
Digital ⭐658
A digital logic designer and circuit simulator.
Boolr ⭐410
A digital logic simulator
Awesome Prolog ⭐289
Curated list of Prolog packages and resources
Opennars ⭐228
OpenNARS for Research 3.0+
Limbo ⭐227
A Reasoning System for a First-Order Logic of Limited Belief, written in C++
Latte ⭐204
LaTTe : a Laboratory for Type Theory experiments (in clojure)
Philosophize ⭐183
A list of philosophy books and resources.
Acl2 ⭐166
ACL2 System and Books as Maintained by the Community
Mesecons ⭐150
Mod for minetest that adds digital circuitry [=minecraft redstone]
Dls Schematics ⭐113
Schematics for DLS - The Digital Logic Simulator game http://makingartstudios.itch.io/dls
Javascript.anomaly ⭐113
Examples of not obvious behaviors for javascript beginner programmers
Nalu ⭐109
Basic pytorch implementation of NAC/NALU from Neural Arithmetic Logic Units paper by trask et.al
Lomrf ⭐70
LoMRF is an open-source implementation of Markov Logic Networks
Openllet ⭐59
Openllet is an OWL 2 reasoner in Java, build on top of Pellet.
Zipperposition ⭐36
An automatic theorem prover in OCaml for typed higher-order logic with equality, datatypes and arithmetic, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.
Modal_logic ⭐15
Final Year Masters Project: modal logic solver tableaux
1-18 of 18 projects