Alternatives and similar repositories for JSage

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

• stefnotch / quantum-sheet
  QuantumSheet - A user friendly mathematics worksheet and solver
  ☆58Updated 3 years ago
• kisonecat / web2js
  Convert TeX's pascal to javascript
  ☆138Updated 4 years ago
• soedirgo / llvm-wasm
  Compile and run LLVM IR in the browser
  ☆124Updated 2 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆34Updated 4 months ago
• cicada-lang / cicada-plct
  Cicada Language (PLCT little team)
  ☆94Updated 8 months ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆81Updated last year
• siefkenj / unified-latex
  Utilities for parsing and manipulating LaTeX ASTs with the Unified.js framework
  ☆111Updated 3 months ago
• MurrayIII / UnicodeMathML
  JavaScript-based translation of UnicodeMath to MathML that can be integrated into arbitrary HTML or Markdeep documents. An interactive "p…
  ☆31Updated last week
• WolframResearch / codeparser
  Parse Wolfram Language source code as abstract syntax trees (ASTs) or concrete syntax trees (CSTs)
  ☆144Updated last year
• chiawendt / tex-to-unicode
  A browser extension to convert TeX to Unicode in browser inputs.
  ☆63Updated 3 weeks ago
• jprendes / emception
  Run Emscripten in the browser
  ☆339Updated last year
• lukehutch / pikaparser
  The Pika Parser reference implementation
  ☆146Updated 3 years ago
• bytecodealliance / weval
  the WebAssembly partial evaluator
  ☆97Updated 3 weeks ago
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆75Updated this week
• EugeneLoy / coq_jupyter
  Jupyter kernel for Coq
  ☆95Updated last year
• DeMille / wasm-ffi
  A lightweight FFI library for JavaScript and WebAssembly
  ☆119Updated 7 years ago
• cfallin / weval
  ☆174Updated 3 weeks ago
• xieyuheng / inet-cute
  An implementation of interaction nets in JS.
  ☆132Updated 2 months ago
• Mathics3 / mathicsscript
  Terminal CLI to Mathics3
  ☆60Updated 3 weeks ago
• ronkok / Temml
  TeX-to-MathML conversion library in JavaScript
  ☆233Updated last week
• viperproject / axiom-profiler
  The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
  ☆32Updated 7 months ago
• eagleoflqj / sympy_beta
  SymPy-powered, Wolfram|Alpha-like answer engine totally in your browser, without backend computation. Discord: https://discord.gg/gq4c9uf…
  ☆67Updated this week
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆27Updated 3 years ago
• Keno / julia-wasm
  Running julia on wasm
  ☆341Updated 3 years ago
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆12Updated last year
• sagemathinc / pylang
  Use Javascript via the Python language
  ☆14Updated 2 years ago
• WebAssembly / memory-control
  A proposal to introduce finer grained control of WebAssembly memory.
  ☆49Updated last week
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆60Updated this week
• leanprover / lean-client-js
  ☆38Updated 2 years ago
• WebAssembly / function-references
  Proposal for Typed Function References
  ☆102Updated 9 months ago