redux-logic - Redux middleware for organizing all your business logic

•    Javascript

---

Use the type of code you and your team are comfortable and experienced with. Testing your logic is straight forward and simple. redux-logic-test provides additional utilities to make testing a breeze.

redux middleware redux-middleware logic business-logic domain domain-logic epic saga observable side-effect promise async-await

grakn - The Knowledge Graph

•    Java

---

The Knowledge Graph

grakn graql knowledge-base knowledge-graph knowledge-representation reasoning relational-databases hyper-relational database graph graph-database graph-visualization logic deductions knowledge-engineering enterprise-knowledge-graph knowledge-engine query-language hyper-relational-database inference

AnaLog - Analyse Logique

•    

---

Software for logical equations analyse.

analyse logic

AroLibraries

•    

---

AroLibraries contains extension methods Advantages of extension methods: (1) Operate on object methods (2) Hiding additional operation (3) Readable code

extension extension-methods logic methods

Digital Logic Simulator in Silverlight

•    Silverlight

---

This project is a basic simulator for digital logic circuits. It includes a variety of gates (AND, OR, XOR, NAND, NOR, NOT), JK and D type flip-flops, a pulse generator, logic high and low levels, wires, and switches.

digital digitallogicsim logic simulator

core.logic - A logic programming library for Clojure & ClojureScript

•    Clojure

---

A logic programming library for Clojure & ClojureScript. core.logic offers Prolog-like relational programming, constraint logic programming, and nominal logic programming for Clojure. At its heart is an original implementation of miniKanren as described in William Byrd's dissertation Relational Programming in miniKanren: Techniques, Applications, and Implementations as well as the extensions described in cKanren and αKanren. It is designed to be easily extended to forms of logic programming beyond the ones provided.

logic relational-programming

logic-solver

•    Javascript

---

General satisfiability solver for logic problems

sat solver logic constraint

awesome-prolog - ⚡️ Curated list of Prolog packages and resources

•    

---

A curated list of open-source Prolog frameworks, libraries and resources.Have a look at the Contributing Guidelines on how to get started.

awesome awesome-list prolog list swi-prolog logic programming

hypermatch - A fast, sandboxed micro matching engine with serializable rules.

•    Javascript

---

A fast, sandboxed matching engine with serializable rules. Using Hypermatch, you can define streams of traffic, audiences, or just a partition of objects using simple logical rules. A collection of rules like "Browser is Firefox" and "Browser is Chrome or query string matches 'mobile'" form such audiences. Each rule definition is already a fully compatible JSON object, so that the rules are serializable by default.

nodejs logic rule-engine matching

salt - State And Logic Traversal, for today's infinite-application

•    Javascript

---

State And Logic Traversal, for today's infinite-application. Salt is a state-based JavaScript library that offers unparalleled code organization and unprecedented flow control. No matter how you write code, the event loop sees it as a sequence of functions, invoked over time. Salt provides a simple pattern to describe those sequences, along with an API to control timing. The result is an async-agnostic flow of your functionality, in code, bridging the gap between specification and implementation.

state logic organization declarative execution framework

ipc_solver - O(N log N)-space IPC solver in OCaml

•    OCaml

---

It determines whether a given statement in Intuitionistic Propositional Calculus (IPC) is provable or not. Please prepare your consumer key, consumer secret, access token, and access token secret.

ocaml logic solver twitter

haskell-picosat - Haskell bindings for PicoSAT solver

•    C

---

haskell-picosat are Haskell bindings to the PicoSAT solver, written in C. It reads in clauses in CNF ( Conjunctive-Normal Form ) and returns a solution which satisfies the clauses. The most notable distinction of this binding is that the SAT solver library is included with the cabal package so you shouldn't need to install anything but this package to get going. It's also notably faster than a pure Haskell solution at solving very large constraint problems.

picosat picosat-solver haskell haskell-library sat-solver logic-programming logic

picologic - Logic expressions for PicoSAT solver

•    Haskell

---

Picologic is a lightweight library for working with symbolic logic expressions. It is built against the picosat Haskell library which bundles the SAT solver with the Haskell package so no external solver or dependencies are necessary. Picologic provides the logic expressions, parser and normal form conversion functions to express the logic expressions more naturally and then feed them to the SAT solver.

picosat sat-solver haskell haskell-library logic

spaghetti - Graphical logic editor/simulator

•    C++

---

Graphical logic editor/simulator

logic editor simulation

smartass - Test your javascript knowledge

•    Javascript

---

This is a collection of javascript questions that you can use to improve your javascript skill and logic. To solve a problem, simply open answer directory and find the problem you want to solve. Each questions will be written as comment above the answer placeholder. Write your answer there and verify your answer using test command. Grab a copy of the problem sets and install dependencies. The only dependency to this module is a test framework to verify your answer.

interview-questions nodejs logic questions knowledge test technical

zipperposition - An automatic theorem prover in OCaml for typed logic with equality, datatypes and arithmetic, based on superposition+rewriting; supporting libraries for manipulating terms, formulas, clauses, etc

•    OCaml

---

Automated theorem prover for first-order logic with equality and theories. Logic toolkit (logtk), designed primarily for first-order automated reasoning. It aims at providing basic types and algorithms (terms, unification, orderings, indexing, etc.) that can be factored out of several applications.

prover superposition ocaml experimental logic computer-science-algorithms prototype induction polymorphism rewriting cnf symbolic-computation saturation

limbo - A Reasoning System for a First-Order Logic of Limited Belief

•    C++

---

Limbo is a reasoning system for modelling and querying an agent's knowledge. Limbo features a highly expressive modelling language (with functions, equality, quantification, introspective modal operators), but maintains attractive computational properties. Great expressivity usually brings along great computational complexity. Limbo avoids the computational cliff using the theory of limited belief, which offers a principled way to control the computational effort and preserves decidability and, in the propositional case, even tractability.

logic reasoning knowledge beliefs

truth-table - Visualize your propositions as a truth table

•    Javascript

---

This is a tool to visualize your propositions as truth tables. Open Truth Table.

proposition logic truth false table parser

CSCv2 - Version 2 of my Crazy Small CPU

•    Perl

---

This repository holds the files associated with Warren's crazy small breadboard CPU built with only eleven chips. For more details on the design of the CPU itself, see the Crazy Small CPU website. The Verilog directory holds an implementation of the CPU in Icarus Verilog. A description of the CPU's instruction set can be found in Instructions.md. A description of the cas assembler and the csim simulator can be found in Usage.md.

cpu 7400 logic alu

church - :church: Church Encoding in JS

•    Javascript

---

Church encoding is a way of encoding data using only functions. For instance, we can use functions to represent, booleans, numerals and lists. Higher-order functions are all you need for Turing completeness. Check out the docs.

functional-programming lambda-calculus church-encoding combinatory-logic haskell alonzo boolean calculus car cdr church combinatory cons curry encoding functional lambda lisp list logic numeral pair predicate