76 Open Source Logic Software Projects
Free and open source logic code projects including engines, APIs, generators, and tools.
Dls Schematics 119 ⭐
Schematics for DLS - The Digital Logic Simulator game http://makingartstudios.itch.io/dls
Bharathgs Nalu 110 ⭐
Basic pytorch implementation of NAC/NALU from Neural Arithmetic Logic Units paper by trask et.al
Zipperposition 44 ⭐
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.
Stanford Introduction To Mathematical Thinking 43 ⭐
Keith Devlin's Introduction to Mathematical Thinking course on Coursera (2017 Spring)
Lps.js 43 ⭐
Xfunc 29 ⭐
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.)
Lps Studio 23 ⭐
🎬 Logic-based interactive storytelling tool for running Logic Production System (LPS) programs using lps.js, Electron and Angular 🎨
Oja 23 ⭐
Lightweight Dependency Injection Framework for Node.JS Apps - Structure your application business logic
Techmillforkids 22 ⭐
An introductory workshop for binary math, basic electronics, logic gates, and basic computing operations. For kids as young as 9.
Layer_augmentation 24 ⭐
Implementation of the NLI model in our ACL 2019 paper: Augmenting Neural Networks with First-order Logic.
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
Awesome Neural Logic 17 ⭐
Awesome Neural Logic and Causality: MLN, NLRL, NLM, etc. 因果推断，神经逻辑，强人工智能逻辑推理前沿领域。
Firstorderlogic.jl 13 ⭐
Julia package for parsing, manipulating and evaluating formulas in first-order logic.
Consistency 13 ⭐
Implementation of models in our EMNLP 2019 paper: A Logic-Driven Framework for Consistency of Neural Models
Illogical 12 ⭐
Scala Atp 10 ⭐
Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to Scala
Iobroker.linkeddevices 10 ⭐
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.
Cocreate Conditional Logic 12 ⭐