sagemathinc / JSage
Something like Sage, but for the WebAssembly and JavaScript world.
☆36Updated last year
Alternatives and similar repositories for JSage:
Users that are interested in JSage are comparing it to the libraries listed below
- QuantumSheet - A user friendly mathematics worksheet and solver☆55Updated 2 years ago
- Convert TeX's pascal to javascript☆117Updated 3 years ago
- Decode DVI files generated by LuaTeX☆10Updated last year
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆29Updated this week
- Programmable, human-readable inlining of Python code☆29Updated 2 years ago
- Xy-pic extension for MathJax version 3☆36Updated 2 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆80Updated last year
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆20Updated 2 years ago
- Parse Wolfram Language source code as abstract syntax trees (ASTs) or concrete syntax trees (CSTs)☆128Updated 6 months ago
- Use MiniZinc in the browser or with NodeJS☆33Updated this week
- Running julia on wasm☆338Updated 3 years ago
- WASM builds of the Z3 SMT solver☆142Updated 4 years ago
- A minimal pure functional language based on self dependent types.☆72Updated 2 years ago
- Tag-based webview of LaTeX documents☆28Updated 11 months ago
- Arbitrary-precision Integer, Rational and Float types based on the GMP and MPFR libraries☆22Updated 6 months ago
- Rigorous computation of the endomorphism ring of a Jacobian☆10Updated 4 months ago
- Hypergraph Rewriting System☆66Updated 9 months ago
- The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).☆32Updated this week
- Source of metamath book☆46Updated last year
- Matroids in Lean☆18Updated last year
- Interactive mathematics in the browser☆59Updated 2 weeks ago
- TikZJax is TikZ running under WebAssembly in the browser☆22Updated last week
- Library for Polynomial System Solving through Algebraic Methods☆108Updated last month
- Fungrim: the Mathematical Functions Grimoire☆118Updated 2 years ago
- A program for drawing knots and links, with support for importing images☆29Updated last year
- JavaScript-based translation of UnicodeMath to MathML that can be integrated into arbitrary HTML or Markdeep documents. An interactive "p…☆22Updated this week
- Metamath verifier in Python☆36Updated 9 months ago
- Run Clang in WebAssembly 🎉☆60Updated 3 years ago
- JavaScript embedder for Wolfram Cloud notebooks☆58Updated 3 years ago