Alternatives and similar repositories for gmp-wasm:

Users that are interested in gmp-wasm are comparing it to the libraries listed below

• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆24Updated last year
• mwalczyk / pga-axioms
  Huzita-Hatori axioms for origami, implemented using 2D projective geometric algebra.
  ☆12Updated 4 years ago
• dyaso / klein-ported-to-rust
  Port of Jeremy Ong's SIMD-enabled projective geometric algebra library
  ☆16Updated 4 years ago
• rutgers-apl / rlibm-all
  RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…
  ☆15Updated last year
• ia0 / lafont
  Animation of Yves Lafont's Interaction Combinators
  ☆16Updated 3 years ago
• pthariensflame / primesieve.rs
  Rust bindings to [primesieve](http://primesieve.org)
  ☆9Updated 7 years ago
• pygae / GAlgebra.jl
  Julia interface to GAlgebra via PyCall
  ☆15Updated this week
• coffeemug / ts-wolfram
  A toy Wolfram language interpreter.
  ☆35Updated 5 months ago
• Libbum / Wafer
  Parallelized 3D FDTD Schrödinger Equation Solver
  ☆21Updated 6 years ago
• rigetti / quil-rs
  Quil Parser & Program Builder
  ☆20Updated this week
• chakravala / Ganja.jl
  Interface for the ganja.js library in Julia
  ☆10Updated 2 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆32Updated 2 months ago
• unageek / inari
  A Rust implementation of interval arithmetic (IEEE 1788)
  ☆37Updated 2 months ago
• pygae / awesome-geometric-algebra
  Awesome Geometric Algebra
  ☆26Updated 4 years ago
• glacode / yamma
  VSCode extension for Metamath
  ☆10Updated last week
• argumentcomputer / Wasm.lean
  A WebAssembly implementation in Lean4
  ☆34Updated last year
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆61Updated 2 years ago
• sorear / smm
  sorear's Metamath system engine
  ☆13Updated 8 years ago
• pornin / cycle-counter
  ☆22Updated 3 months ago
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆20Updated 2 years ago
• mknyszek / rust-libquantum
  Rust bindings for libquantum
  ☆11Updated 6 years ago
• cshenton / WebGPU.jl
  Julia bindings and native wrapper for the gfx webgpu implementation
  ☆14Updated 6 years ago
• leanprover / super
  Superposition prover
  ☆17Updated 2 years ago
• wrnrlr / g3
  Neat 3D math and graphics library
  ☆32Updated last year
• lecopivo / HouLean
  Lean 4 as a scripting language in Houdini
  ☆20Updated last year
• Soonad / Base.fm
  Standard library for the Formality language
  ☆18Updated 5 years ago
• fcard / multimethods.rs
  Multiple Dispatch in Rust
  ☆20Updated 5 years ago
• huonw / float
  Arbitrary precision floating point in Rust
  ☆19Updated 9 years ago
• novacrazy / dual_num
  Dual Number library for Rust
  ☆17Updated 3 years ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago