An explicit-state model checker: exhaustive search with symmetry reduction, partial-order reduction and liveness under weak fairness, validated against unreduced ground truth.

Parse partial JSON generated by LLM

> Time-Weighted Average Price

Big number implementation in pure javascript

Merge CSS rules with PostCSS.

Workspace entity registry (ctx.workspace): durable workspace records with validated session attachment over the domain data form for the DeepSeek Harness

The `acvm_js` package enables users to execute an ACIR program, i.e. generating an initial witness from a set of inputs and calculating a partial witness. This partial witness can then be used to create a proof of execution using an ACVM backend.

No description provided.

a CSS selector compiler/engine

An absurdly small jQuery alternative for modern browsers.

Resolve aliased dependency paths using a RequireJS config

Fast 0-deps bash parser written in TypeScript

A utility to recursively make all properties in a Zod schema optional.

Abstract compaction service seam (ctx.compaction) for the DeepSeek Harness

Turns partial code location into precise code location

A simple function for calculating the chi-squared probability for a given observation set and expected set"

Reads / writes floats / doubles from / to buffers in both modern and ancient browsers.

TypeScript definitions for iso-3166-2

SQS partial batch failure middleware for the middy framework

Introduces a new ? token in an argument list which allows for partially applying an argument list to a call expression