Logic Packages

Condensed Detachment

Church encoding utility library for JavaScript

Tree Logic

Set of simple logical games

hexlet 1st project

Brain Games

egg pandora 套件

Signup:\ Step 1: `npm init`\ Step 2: `v1 index.js`\ Step 3: Download your brain into that file ;)\ Step 4: `npm adduser`\ Step 5: `npm adduser`

A way of adding logic to your routes in a declarative way

A first-order logic proof verifier

JS-library to calculate, visualize and simulate 4-valued FORMs of the FORM calculus introduced by Ralf Peyn in uFORM iFORM

Arbitrary precision binary operations library for Javascript.

Logic for Conway's Game of Life. It uses a looping-matrix so that entities loop from edge to edge.

ECMAScript 6 Version of Dmitry Kaluzhny's fuzzynet library

Template-satisfying query engine in the style of Prolog.

Typescript flavored microKanren implementation

Represent a conditional statement as a JSON object and convert it to a SQL ready prepared statement

Computer Algebra System

A framework to shift the focus towards business logic.

Ladder Logic Compiler for node.js and the web