Is able to solve basic equations and simplify basic expressions using steps that are similar to what a human would do. This can then be used by intelligent tutors to provide suggestions to users when they don't know what step to take next or provide a co
Provides functions to help with writing tests for @math-blocks/tutor and @math-blocks/solver.
Self-healing markdown. Intelligently parses and styles incomplete Markdown blocks.
ES Math-related intrinsics and helpers, robustly cached.
A drop-in replacement for react-markdown, designed for AI-powered streaming.
Reusable building blocks for iterative solvers, multi-stage solver pipelines, and React-based solver debugging UIs.
RVF self-learning temporal solver — Thompson Sampling, PolicyKernel, ReasoningBank
mdast extension to parse and serialize math
micromark extension to support math (`$C_L$`)
remark plugin to parse and stringify math
Easy to use, JSON oriented Linear Programming and Mixed Int. Programming Solver
Math and string formula parser.
General satisfiability solver for logic problems
Storybook Doc Blocks
rehype plugin to transform inline and block math with KaTeX
Math and string formula parser.
Solves for copper pour polygons
JavaScript library for easy integration with the API of 2captcha captcha solving service to bypass reCAPTCHA, funcaptcha, geetest and solve any other captchas.
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).
Experimental math classes for loaders.gl
An MIT-licensed full-pipeline PCB autorouter for node.js and TypeScript projects. Part of [tscircuit](https://github.com/tscircuit/tscircuit)
JavaScript utilities with respect to emerging standard
math-random is an isomorphic, drop-in replacement for `Math.random` that uses cryptographically secure random number generation, where available
A flexible math expression evaluator