erigontech / gmp-wasmLinks
Fork of the GNU Multiple Precision Arithmetic Library (GMP), suitable for compilation into WebAssembly.
☆18Updated 4 years ago
Alternatives and similar repositories for gmp-wasm
Users that are interested in gmp-wasm are comparing it to the libraries listed below
Sorting:
- Awesome Geometric Algebra☆28Updated 5 years ago
- Julia interface to GAlgebra via PyCall☆17Updated this week
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- Library for exact real number computations☆40Updated 10 years ago
- You are trapped on an infinite tile floor along with murderous marbles☆10Updated 10 months ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆33Updated 3 months ago
- Geometric algebra library for Rust☆22Updated 6 years ago
- Port of Jeremy Ong's SIMD-enabled projective geometric algebra library☆16Updated 4 years ago
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆12Updated last year
- ☆12Updated 7 years ago
- GluCat: Clifford algebra templates☆21Updated 5 months ago
- Deposited packages of the homalg project☆15Updated 3 months ago
- Various Futhark benchmark programs☆42Updated this week
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆31Updated last week
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆31Updated last week
- Julia wrapper for The Z3 Theorem Prover (SMT Solver)☆24Updated 8 years ago
- Haskell bindings to SymEngine☆27Updated last year
- Huzita-Hatori axioms for origami, implemented using 2D projective geometric algebra.☆12Updated 4 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Updated 11 months ago
- sorear's Metamath system engine - version 3 Rust☆24Updated 2 years ago
- Metamath verifier in Python☆40Updated 2 months ago
- ☆11Updated 3 years ago
- Julia Implementation of Unums☆42Updated 8 years ago
- An encyclopedia of proofs☆62Updated 9 months ago
- Interface for the ganja.js library in Julia☆9Updated 2 years ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- An interpreter for concatenative combinators (i.e. Combinators as a functional language)☆10Updated 3 years ago
- A program for drawing knots and links, with support for importing images☆32Updated last year