Search results
392 packages found
Package for expressing logical operations in JSON. Useful for storing logical procedures in a database.
Condensed Detachment
- condensed detachment
- modus ponens
- ATP
- theorem proving
- automated reasoning
- automated deduction
- logic
- calculus
evaluate boolean-json expressions
Build complex rules, serialize them as JSON, and execute them in JavaScript
JavaScript/Typescript library for bundling bussiness logic of your data to common containers called blocks
Fuzzy i/o grid for artificial learning applications
BBOP object to try and take some of the pain out of managing the boolean logic that seems to show up periodically.
100+ assorted binary / bitwise operations, conversions, utilities, lookup tables
some useful tools for programming
Synchronous business logic meets asynchronicity in the cloud.
Svelte bindings for effector
Subtracting filters analytically.
solver for the iOS game `logic traces`
Represent a conditional statement as a JSON object and convert it to a SQL ready prepared statement
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.
Boolean logic optimizer