nodalis-compiler

Compiles IEC-61131-3/10 languages into code that can be used as a PLC on multiple platforms.

v1.0.0 URL: https://unpkg.com/nodalis-compiler@1.0.0/src/nodalis.js

Open Browse Files

PLC IEC-61131 Logic Controller Ladder Logic Structured Text

jkif-parser

Complete SUO-KIF to JavaScript parser

v1.0.0 URL: https://unpkg.com/jkif-parser@1.0.0/lib/jkif_parser.js

Open Browse Files

jKif KIF SUO-KIF JavaScript Ontology Semantics Logic Parser

espressodemo

A sample application built Espresso Logic API.

v1.2.5 URL: https://unpkg.com/espressodemo@1.2.5

Open Browse Files

Espresso Logic Espresso Logic Espresso Demo REST API RESTful database sql mysql oracle nosql postgres mongo sqlserver mobile reactive strongloop express

truthmachine

Browser-based Sentential Logic Calculator

v1.0.2 URL: https://unpkg.com/truthmachine@1.0.2/index.html

Open Browse Files

Browser Sentential Boolean Logic Calculator

fdp

Finite Domain Problem reduction system

v0.0.5 URL: https://unpkg.com/fdp@0.0.5/dist/fdp.dist.min.js

Open Browse Files

constraint solving GSAT finite domain solver FD Constraint Reduction system Minifier Logic Deduction