A fast feature rich finite domain solver

A brute force Finite Domain Solver

XState for finite state machines

RVF self-learning temporal solver — Thompson Sampling, PolicyKernel, ReasoningBank

A library for finite automata and regular expressions in the context of JS RegExp

Easy to use, JSON oriented Linear Programming and Mixed Int. Programming Solver

Test if a double-precision floating-point numeric value is finite.

General satisfiability solver for logic problems

A finite state machine iterator for JavaScript

Node's domain module for the web browser. This is merely an evented try...catch with the same API as node, nothing more.

Reusable building blocks for iterative solvers, multi-stage solver pipelines, and React-based solver debugging UIs.

Email address and domain validation

This project provides high-level and low-level TypeScript bindings for the [Z3 theorem prover](https://github.com/Z3Prover/z3). It is available on npm as [z3-solver](https://www.npmjs.com/package/z3-solver).

TLDS list for domain validation

Email address and domain validation

An MIT-licensed full-pipeline PCB autorouter for node.js and TypeScript projects. Part of [tscircuit](https://github.com/tscircuit/tscircuit)

Solves PCB copper pour regions from Circuit JSON or from a small geometry input format, returning `pcb_copper_pour`-ready B-Rep shapes.

Splits a hostname into subdomains, domain and (effective) top-level domains

A dependency solver for the elm ecosystem

A generic A* pathfinding solver for routing connections through hypergraphs. Designed for circuit routing problems but extensible to any graph-based pathfinding scenario.