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
  ☆55Updated 2 years ago
• matjp / dvi-decode
  Decode DVI files generated by LuaTeX
  ☆10Updated last year
• willcrichton / inliner
  Programmable, human-readable inlining of Python code
  ☆28Updated 2 years ago
• kisonecat / web2js
  Convert TeX's pascal to javascript
  ☆122Updated 3 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆32Updated 2 months ago
• WolframResearch / codeparser
  Parse Wolfram Language source code as abstract syntax trees (ASTs) or concrete syntax trees (CSTs)
  ☆132Updated 8 months ago
• polywrap / as-bigint
  BigInt is an AssemblyScript class for math with arbitrarily large integers
  ☆18Updated last year
• crubier / opov
  Operator Overloading for Typescript with Tagged Template Literals
  ☆15Updated last year
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆20Updated 2 years ago
• Splines / lean-continuous
  Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.
  ☆13Updated 8 months ago
• kisonecat / dvi2html
  Device independent (DVI) file format parsing with node
  ☆31Updated 10 months ago
• HigherOrderCO / FormCoreJS
  A minimal pure functional language based on self dependent types.
  ☆72Updated 2 years ago
• coffeemug / ts-wolfram
  A toy Wolfram language interpreter.
  ☆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…
  ☆34Updated this week
• ExpoSEJS / z3javascript
  A JavaScript wrapper for Z3 containing support for regular expressions & capture groups
  ☆22Updated 8 months ago
• sldty / kitbag
  Kitbag is a content-addressed versioned tree-structured graph-based datastore.
  ☆14Updated 3 years ago
• WolframResearch / wolfram-notebook-embedder
  JavaScript embedder for Wolfram Cloud notebooks
  ☆58Updated 3 years ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆48Updated 2 years ago
• MiniZinc / minizinc-js
  Use MiniZinc in the browser or with NodeJS
  ☆38Updated 3 weeks ago
• leanprover / lean-client-js
  ☆38Updated last year
• viperproject / axiom-profiler
  The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
  ☆32Updated last month
• MurrayIII / UnicodeMathML
  JavaScript-based translation of UnicodeMath to MathML that can be integrated into arbitrary HTML or Markdeep documents. An interactive "p…
  ☆26Updated this week
• glyh / awesome-pl-concepts
  An menu/quick reference for Programming Language concepts
  ☆20Updated 11 months ago
• cluesurf / tree
  A Data Modeling Programming Language 🍀
  ☆16Updated 3 months ago
• cicada-lang / cicada-plct
  Cicada Language (PLCT little team)
  ☆92Updated 3 months ago
• moonad / Formality-tmp
  ☆9Updated 4 years ago
• soedirgo / llvm-wasm
  Compile and run LLVM IR in the browser
  ☆117Updated last year
• glacode / yamma
  VSCode extension for Metamath
  ☆10Updated last week
• psg-mit / smooth
  An arbitrary-precision differentiable programming language.
  ☆34Updated last year