Pythagorean theorem triangle solver

This library allows you to calculate the Pythagorean theorem

Calculate Pythagorean theorem

Markdown-it plugin to include math in your document

remark plugin to transform markdown-style PreTeXt directives into ptxast

This plugin adds support for **Katex** expressions. Install it using:

Interactive 3D Pythagorean tree engine. Recursive topology with F=(P,E,R,C) procedural compression. Runs in browser, no install. UUON Foundation.

Polygons, Ellipses, Circles, Boxes, Lines, Points. Ray-Casting, offsets, rotation, scaling, padding, groups.

CLI for Theorem — formal verification for TypeScript

Core engine for Theorem — parser, translator, solver, scanner, suggester

Convert strings to mathematical videos using Groq API and Manim

Delta — a LaTeX-inspired XML markup language for interactive papers, books and presentations, compiled to standalone offline HTML.

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).

Markdown-it-math w/o optional dep

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

Bundler plugins for Theorem — strip contracts at build time (vite, esbuild, tsup)

<p align="center"><img src="docs/assets/logo.png" width="88" alt="CallioText logo"></p> <h1 align="center">CallioText</h1> <p align="center">像 LaTeX 一样结构化，像 Word 一样易编辑，像网页一样自由输出。</p> <p align="center"><a href="README.md">English README</a></p> <p align="c

Content-addressed identity, honest by construction — mint + mind, holographic merkle proofs, a reversible imprint codec, a reeducating harness, a measured billing model, pure-TypeScript ChaCha20-Poly1305 encryption under a 7d-fold envelope, and an MCP ser

TypeScript Language Service Plugin for Theorem — inline verification in VS Code

A verification toolchain for TypeScript — generates Lean 4 or Dafny from annotated TS