GitHub Release Tracker
All JS React Ruby Go Postgres Frontend Node
24h 7d 14d 30d | Newest Best Latest version only Popular

math

Past 7d, sorted by best first, all versions
6 results Markdown version
10/08 7
ronkok/Temml v0.14.0
LaTeX-to-MathML conversion utility in JavaScript designed to be lightweight.
JavaScript 355☆ 2076d old #javascript #math #latex
10/07 5
BearToCode/Carta carta-md-v4.11.5
Lightweight, fast, extensible Svelte Markdown editor and viewer.
TypeScript 778☆ 1260d old #javascript #typescript #markdown #editor #math
10/09 4
litexlang/Litex 1.0.6-beta
Simple formal language for writing and automatically verifying mathematical proofs with step-by-step inference.
Rust 674☆ 696d old #golang #ai #rust #go #math
10/08 4
litexlang/Litex 1.0.5-beta
Simple formal language for writing and automatically verifying mathematical proofs with step-by-step inference.
Rust 674☆ 696d old #golang #ai #rust #go #math
10/08 4
litexlang/Litex 1.0.3-beta
Simple formal language for writing and automatically verifying mathematical proofs with step-by-step inference.
Rust 674☆ 696d old #golang #ai #rust #go #math
10/08 4
litexlang/Litex 1.0.1-beta
Simple formal language for writing and automatically verifying mathematical proofs with step-by-step inference.
Rust 674☆ 696d old #golang #ai #rust #go #math