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
  ☆56Updated 2 years ago
• matjp / dvi-decode
  Decode DVI files generated by LuaTeX
  ☆11Updated 2 years ago
• MiniZinc / minizinc-js
  Use MiniZinc in the browser or with NodeJS
  ☆40Updated last month
• HigherOrderCO / FormCoreJS
  A minimal pure functional language based on self dependent types.
  ☆73Updated 3 years ago
• vezwork / Polytope
  Experimental, recursively-embeddable, domain-specific editors and text editor
  ☆79Updated last year
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆33Updated last month
• viperproject / axiom-profiler
  The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
  ☆32Updated 4 months ago
• cicada-lang / cicada-plct
  Cicada Language (PLCT little team)
  ☆93Updated 6 months ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆49Updated 2 years ago
• met4citizen / Hypergraph
  Hypergraph Rewriting System
  ☆74Updated last year
• soedirgo / llvm-wasm
  Compile and run LLVM IR in the browser
  ☆121Updated 2 years ago
• leanprover / lean-client-js
  ☆38Updated 2 years ago
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆26Updated 2 years ago
• SRI-CSL / filia
  Translate Python and JavaScript into MLIR
  ☆16Updated 2 years ago
• paulmasson / mathcell
  Interactive mathematics in the browser
  ☆63Updated 5 months ago
• Daninet / gmp-wasm
  Arbitrary-precision Integer, Rational and Float types based on the GMP and MPFR libraries
  ☆27Updated 11 months ago
• cicada-lang / inet-cute
  An implementation of interaction nets in JS.
  ☆132Updated 3 weeks ago
• cfallin / weval
  ☆172Updated 8 months ago
• mabotkin / zpordle
  A number guessing game with a p-adic twist.
  ☆9Updated last year
• coffeemug / ts-wolfram
  A toy Wolfram language interpreter.
  ☆36Updated 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…
  ☆65Updated 2 weeks ago
• nanofuzz / nanofuzz
  NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
  ☆43Updated 3 weeks ago
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆29Updated last year
• EugeneLoy / coq_jupyter
  Jupyter kernel for Coq
  ☆95Updated 9 months ago
• cpitclaudel / z3.wasm
  WASM builds of the Z3 SMT solver
  ☆146Updated 5 years ago
• drgrice1 / tikzjax
  TikZJax is TikZ running under WebAssembly in the browser
  ☆25Updated 5 months ago
• glacode / yamma
  VSCode extension for Metamath
  ☆10Updated last month
• lecopivo / lean4-karray
  ☆13Updated 3 years ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• complex-analysis / source
  This repository contains the source html files for the website complex-analysis.com
  ☆16Updated 3 weeks ago