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
Categories
>
Learning Resources
>
Logic
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