Alternatives and similar repositories for JSage:

Users that are interested in JSage are comparing it to the libraries listed below

• matjp / dvi-decode
  Decode DVI files generated by LuaTeX
  ☆10Updated last year
• kisonecat / web2js
  Convert TeX's pascal to javascript
  ☆120Updated 3 years ago
• stefnotch / quantum-sheet
  QuantumSheet - A user friendly mathematics worksheet and solver
  ☆55Updated 2 years ago
• wasmerio / wasmfs
  In-memory filesystem with Node's API
  ☆27Updated 5 years ago
• busytex / busytex
  TexLive programs bundled into a single static binary for x86_64-linux / WASM
  ☆46Updated 3 weeks ago
• soedirgo / llvm-wasm
  Compile and run LLVM IR in the browser
  ☆116Updated last year
• willcrichton / inliner
  Programmable, human-readable inlining of Python code
  ☆28Updated 2 years ago
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆20Updated 2 years ago
• sagemath / cypari2
  Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/
  ☆30Updated last month
• WolframResearch / codeparser
  Parse Wolfram Language source code as abstract syntax trees (ASTs) or concrete syntax trees (CSTs)
  ☆129Updated 7 months ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆30Updated 3 weeks ago
• dyaso / klein-ported-to-rust
  Port of Jeremy Ong's SIMD-enabled projective geometric algebra library
  ☆16Updated 4 years ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• RuleBasedIntegration / Rubi-5
  A Rule-Based Integrator Built On An If-Then-Else Decision Tree
  ☆35Updated 3 years ago
• mathigon / hilbert.js
  JavaScript expression parsing, MathML rendering and CAS.
  ☆16Updated last week
• Daninet / gmp-wasm
  Arbitrary-precision Integer, Rational and Float types based on the GMP and MPFR libraries
  ☆22Updated 7 months ago
• wapm-packages / clang
  Run Clang in WebAssembly 🎉
  ☆62Updated 3 years ago
• AlgebraicJulia / ACSets.jl
  ACSets: Algebraic databases as in-memory data structures
  ☆21Updated this week
• MixedMatched / juniper
  A toy formally-specified Computer Algebra library written in Rust and formalized in Lean 4
  ☆14Updated last month
• egraphs-good / snake-egg
  Python bindings for egg
  ☆48Updated 2 years ago
• WebAssembly / function-references
  Proposal for Typed Function References
  ☆101Updated 2 months ago
• WolframResearch / wolfram-notebook-embedder
  JavaScript embedder for Wolfram Cloud notebooks
  ☆58Updated 3 years ago
• viperproject / axiom-profiler
  The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
  ☆32Updated last week
• tamuratak / latex-utensils
  A LaTeX parser, a BibTeX parser, and utilities.
  ☆41Updated this week
• Krasjet / karasu
  A self-hosted remote communication system designed for math discussions.
  ☆39Updated 4 years ago
• grain-lang / grain-language-server
  Grain support for Visual Studio Code
  ☆24Updated 2 months ago
• MiniZinc / minizinc-js
  Use MiniZinc in the browser or with NodeJS
  ☆33Updated this week
• MikeInnes / WebAssembly.jl
  ☆83Updated 2 years ago
• siefkenj / unified-latex
  Utilities for parsing and manipulating LaTeX ASTs with the Unified.js framework
  ☆94Updated last week
• wapm-packages / python
  Python ported to Wasm + WASI
  ☆52Updated last year