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 2 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆33Updated this week
• kisonecat / web2js
  Convert TeX's pascal to javascript
  ☆133Updated 3 years ago
• stefnotch / quantum-sheet
  QuantumSheet - A user friendly mathematics worksheet and solver
  ☆55Updated 2 years ago
• soedirgo / llvm-wasm
  Compile and run LLVM IR in the browser
  ☆120Updated last year
• WolframResearch / codeparser
  Parse Wolfram Language source code as abstract syntax trees (ASTs) or concrete syntax trees (CSTs)
  ☆139Updated 10 months ago
• Genivia / Husky
  🐺 Husky is a lazy functional language similar to Haskell, but with a more conventional syntax
  ☆14Updated 4 years ago
• HigherOrderCO / FormCoreJS
  A minimal pure functional language based on self dependent types.
  ☆73Updated 3 years ago
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆28Updated last year
• CalmSystem / wala
  It aims to be for WASM what YAML is for JSON. Programming language targetting WebAssembly. Human friendly WAT
  ☆22Updated 3 years ago
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆23Updated 2 years ago
• wasmerio / wasmfs
  In-memory filesystem with Node's API
  ☆32Updated 5 years ago
• pkra / tools-for-math-on-the-web
  Some tools around math on the web, maybe eventually an awesome list.
  ☆83Updated 7 months ago
• Daninet / gmp-wasm
  Arbitrary-precision Integer, Rational and Float types based on the GMP and MPFR libraries
  ☆23Updated 10 months ago
• coffeemug / ts-wolfram
  A toy Wolfram language interpreter.
  ☆35Updated 6 months ago
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆31Updated last year
• MixedMatched / juniper
  A toy formally-specified Computer Algebra library written in Rust and formalized in Lean 4
  ☆15Updated 3 months ago
• edgarcosta / endomorphisms
  Rigorous computation of the endomorphism ring of a Jacobian
  ☆10Updated last month
• MiniZinc / minizinc-js
  Use MiniZinc in the browser or with NodeJS
  ☆41Updated last month
• mauriciopoppe / interval-arithmetic
  An implementation of an algebraically closed interval system of the extended real number set
  ☆91Updated 3 weeks ago
• leanprover / lean-client-js
  ☆38Updated last year
• wapm-packages / clang
  Run Clang in WebAssembly 🎉
  ☆62Updated 3 years ago
• kisonecat / dvi2html
  Device independent (DVI) file format parsing with node
  ☆33Updated last year
• Splines / lean-continuous
  Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.
  ☆14Updated 9 months ago
• NateLevin1 / wati
  VSCode extension for autocomplete when writing WebAssembly Text (.wat) files
  ☆33Updated last year
• lecopivo / lean4-karray
  ☆13Updated 3 years ago
• ThatOneCalculator / riesketcher
  Riemann sum graphs in Typst with CeTZ
  ☆19Updated 11 months ago
• wasdk / wasmparser
  Simple streamable WebAssembly binary parser
  ☆77Updated 9 months ago
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆24Updated last year
• viperproject / axiom-profiler
  The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
  ☆32Updated 3 months ago