Functionality for working with first-order predicate logic

Array manipulation, ordering, searching, summarizing, etc.

Automated theorem prover for first-order predicate logic with equality based on resolution/paramodulation

An automated theorem prover for first-order predicate logic written in TypeScript

A collection of useful code to complement the official convex package.

Search xml2js JSON documents with XPath query strings.

Utils to manage your React Children; find and filter children by type or custom function, enforce child content, and more!

Type-safe implementation of invariant with positionals.

Enhance your ESLint visitors with shared logic

A set of predicate functions to improve your value testing and comparisons.

Get the first path that exists on disk of multiple paths

Zero-dependency, DOM-free, pure predicate for detecting unsafe strings across HTML, XML, SVG, SQL, SHELL, and REGEX contexts

Construct complex rules with JSON & process them.

Combines quads of a RDF/JS quad stream to a stream of RDF/JS Dataset chunks

CSS language support for the CodeMirror code editor

A term-predicate function-factory actor

Babel plugin for preserving exports order across transforms

Return a function which tests if every element in an array passes a test condition.

Collection of utility functions

A library for expressing filter predicates and evaluating them against values