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
  ☆139Updated 4 years ago
• soedirgo / llvm-wasm
  Compile and run LLVM IR in the browser
  ☆125Updated 2 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆35Updated 5 months ago
• FlatAssembler / AECforWebAssembly
  A port of ArithmeticExpressionCompiler from x86 to WebAssembly, so that the programs written in the language can run in a browser. The co…
  ☆37Updated this week
• MurrayIII / UnicodeMathML
  JavaScript-based translation of UnicodeMath to MathML 4.0. The facility supports dictation, speech, Nemeth braille, and LaTeX. The intera…
  ☆34Updated 2 weeks ago
• busytex / busytex
  TexLive programs bundled into a single static binary for x86_64-linux / WASM
  ☆54Updated 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…
  ☆68Updated last week
• wapm-packages / clang
  Run Clang in WebAssembly 🎉
  ☆63Updated 4 years ago
• bytecodealliance / weval
  the WebAssembly partial evaluator
  ☆106Updated 2 months ago
• xieyuheng / inet-cute
  An implementation of interaction nets in JS.
  ☆132Updated 3 months ago
• cicada-lang / cicada-plct
  Cicada Language (PLCT little team)
  ☆94Updated 10 months ago
• hhu-adam / GameSkeleton
  The standard template to create a lean game
  ☆30Updated last week
• wingo / wasm-jit
  Test materials for getting JIT support for wizer
  ☆117Updated 3 years ago
• WebAssembly / stack-switching
  A repository for the stack switching proposal.
  ☆179Updated last week
• WebAssembly / function-references
  Proposal for Typed Function References
  ☆102Updated 10 months ago
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆28Updated 3 years ago
• cfallin / weval
  ☆174Updated 2 months ago
• RReverser / wasmbin
  A self-generating WebAssembly parser & serializer in Rust.
  ☆23Updated 6 months ago
• together-science / nerdamer-prime
  The continued Nerdamer project
  ☆50Updated 2 weeks ago
• lukehutch / pikaparser
  The Pika Parser reference implementation
  ☆146Updated 3 years ago
• vshymanskyy / wasm2native
  Turn WASI apps into native executables
  ☆136Updated 3 years ago
• siefkenj / latex-parser
  Generate an AST and beautify LaTeX code
  ☆71Updated 2 years ago
• typst / pixglyph
  OpenType glyph rendering.
  ☆26Updated 11 months ago
• Mathics3 / mathicsscript
  Terminal CLI to Mathics3
  ☆60Updated 2 months ago
• mkhan45 / RustScript2
  RustScript is a functional scripting language with as much relation to Rust as Javascript has to Java.
  ☆43Updated 2 years ago
• viperproject / axiom-profiler
  The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
  ☆32Updated 8 months ago
• grain-lang / grain-language-server
  Grain support for Visual Studio Code
  ☆23Updated 11 months ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆82Updated last year
• xieyuheng / inet-js
  This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)
  ☆57Updated 3 months ago