Showing 1-20 of 155 packages
A highlightjs language grammar for the Lean theorem proving language.
An interactive display for the Lean 4 theorem prover.
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).
Monaco Editor support for the Lean 4 theorem prover.
Unicode input mechanism for the Lean 4 theorem prover
Observable derived state
Separating Axis Theorem in 3D
detect collisions 2d between all possible kinds of shapes. It uses Bounding Volume Hierarchy (BVH) for sweep wide quick tree trim phase, and the Separating Axis Theorem (SAT) for accurate detection inside nearby groups. This library supports RayCasting, o
High-performance WebAssembly theorem prover with dependent types, hash-consing (150x faster), Ed25519 proof signatures, MCP support for Claude Code, AgentDB vector search, episodic memory, and ReasoningBank learning. Formal verification with cryptographic
Typescript support for contenteditable divs with the Unicode input support of the Lean 4 theorem prover
Pythagorean theorem triangle solver
Chinese Remainder Theorem solver for NodeJS
Calculate Pythagorean theorem
CAPtain.js is a first prototype of what I think the next generation of distributed programming languages should look like. The main idea behind CAPtain.js is to make the trade-off between availability and consistency (think [CAP theorem](https://en.wikipe
An implementation of the separating axis theorem. This package is a learning project inspired by sat.js.
TypeScript implementation of a probabilistic primality testing on the basis of Fermat's Little Theorem and Miller Rabin Theorem
This library allows you to calculate the Pythagorean theorem
An automated theorem prover for first-order predicate logic written in TypeScript
Bayes Theorem in Node.js
Polygons, Ellipses, Circles, Boxes, Lines, Points. Ray-Casting, offsets, rotation, scaling, padding, groups.