sagemathinc / JSageLinks
Something like Sage, but for the WebAssembly and JavaScript world.
☆36Updated 2 years ago
Alternatives and similar repositories for JSage
Users that are interested in JSage are comparing it to the libraries listed below
Sorting:
- QuantumSheet - A user friendly mathematics worksheet and solver☆55Updated 2 years ago
- Decode DVI files generated by LuaTeX☆11Updated 2 years ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆33Updated 3 weeks ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆25Updated 2 years ago
- TikZJax is TikZ running under WebAssembly in the browser☆24Updated 4 months ago
- Grain support for Visual Studio Code☆23Updated 6 months ago
- sorear's Metamath system engine - version 3 Rust☆24Updated 2 years ago
- A minimal pure functional language based on self dependent types.☆73Updated 3 years ago
- VSCode extension for Metamath☆10Updated last week
- The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).☆32Updated 3 months ago
- ☆38Updated 2 years ago
- sorear's Metamath system engine☆13Updated 9 years ago
- Cicada Language (PLCT little team)☆93Updated 5 months ago
- LLVM support for the lean theorem prover☆48Updated 3 years ago
- A program for drawing knots and links, with support for importing images☆32Updated last year
- JavaScript-based translation of UnicodeMath to MathML that can be integrated into arbitrary HTML or Markdeep documents. An interactive "p…☆29Updated last week
- Lattices and Their Algorithms, Leiden, Spring 2024☆12Updated 9 months ago
- Jupyter kernel for Coq☆95Updated 9 months ago
- A POSIX system using WebAssembly's software fault isolation☆70Updated 5 years ago
- Device independent (DVI) file format parsing with node☆33Updated last year
- A toy Wolfram language interpreter.☆36Updated 7 months ago
- Python bindings for egg☆49Updated 2 years ago
- Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.☆15Updated 10 months ago
- Python bindings for Flint and Arb☆135Updated last week
- Project to verify the Guy-Selfridge conjectures☆17Updated this week
- This repository contains the source html files for the website complex-analysis.com☆16Updated 2 months ago
- Source of metamath book☆48Updated last year
- Python ported to Wasm + WASI☆52Updated 2 years ago
- **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.☆99Updated last year
- Pandoc filter to render math equations using KaTeX☆35Updated 2 years ago