A powerful TypeScript library for generating and validating propositional logic truth tables. Inspired by Carnap's truth table implementation, this library provides a flexible API for creating, manipulating, and validating truth tables for propositional l
A library to create, minimize and optimize binary decision diagrams
A NodeJS bridge to the Espresso heuristic logic minimizer
Truth Table Generator creates complete truth tables for boolean expressions with support for AND, OR, NOT, XOR, NAND, and NOR operators.
Propositional proof system
This is a JavaScript package that you want to provide all the capabilities provided by Logism. It will provide various functions such as calculation using logical circuits, simplification of logical expressions, and generation of logical expressions throu
First order logic library.
Array#isArray for older browsers
ECMAScript AST recursive visitor
deterministic `JSON.stringify()` - a faster version of substack's json-stable-strigify without jsonify
Light ECMAScript (JavaScript) Value Notation - human written, concise, typed, flexible
Buffers events from a stream until you are ready to handle them.
Returns true if a string has an extglob.
Get the command from a shebang
JSON parse & stringify that supports binary via bops & base64
CLI arguments parser. Native port of python's argparse.
type-check allows you to check the types of JavaScript values at runtime with a Haskell like type syntax.
Run a function exactly one time
The Node.js `util.deprecate()` function with browser support
A small polyfill for Object.setprototypeof
Resolve the path of a module like `require.resolve()` but from a given path
Callback wrapping utility
Fast deep equal
Allows users to use generators in order to write common functions that can be both sync or async.