Alternatives and similar repositories for gmp-wasm

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

• pygae / awesome-geometric-algebra
  Awesome Geometric Algebra
  ☆28Updated 5 years ago
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆25Updated 2 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆34Updated 3 months ago
• pygae / GAlgebra.jl
  Julia interface to GAlgebra via PyCall
  ☆17Updated this week
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆42Updated 3 weeks ago
• blambov / RealLib
  Library for exact real number computations
  ☆40Updated 10 years ago
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆61Updated 2 years ago
• rokicki / lifealg
  ☆12Updated 7 years ago
• bollu / diffgeo
  A formalization of synthetic differential geometry in Coq using infinitesimal analysis
  ☆11Updated 4 years ago
• Limeth / hestenes
  Geometric algebra library for Rust
  ☆22Updated 7 years ago
• argumentcomputer / Wasm.lean
  A WebAssembly implementation in Lean4
  ☆35Updated last year
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆31Updated 3 months ago
• leanprover / super
  Superposition prover
  ☆17Updated 2 years ago
• dyaso / klein-ported-to-rust
  Port of Jeremy Ong's SIMD-enabled projective geometric algebra library
  ☆16Updated 4 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆16Updated last week
• lecopivo / HouLean
  Lean 4 as a scripting language in Houdini
  ☆20Updated last year
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 4 years ago
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 3 years ago
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆27Updated 3 years ago
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆72Updated this week
• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆21Updated last year
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 2 months ago
• penguian / glucat
  GluCat: Clifford algebra templates
  ☆21Updated 5 months ago
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 4 years ago
• tlively / BrainCoqulus
  A formally verified compiler of untyped lambda calculus to brainfuck
  ☆14Updated 8 years ago
• uwplse / szalinski
  Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
  ☆51Updated 2 weeks ago
• cseed / knotkit
  knot theory and computational algebra software
  ☆37Updated 11 years ago
• athas / futball
  You are trapped on an infinite tile floor along with murderous marbles
  ☆11Updated 11 months ago