erigontech / gmp-wasmLinks
Fork of the GNU Multiple Precision Arithmetic Library (GMP), suitable for compilation into WebAssembly.
☆19Updated 5 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☆29Updated 5 years ago
- Julia interface to GAlgebra via PyCall☆17Updated this week
- Port of Jeremy Ong's SIMD-enabled projective geometric algebra library☆16Updated 5 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆82Updated 2 years ago
- Library for exact real number computations☆40Updated 10 years ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆62Updated 2 years ago
- Geometric algebra library for Rust☆22Updated 7 years ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆39Updated 8 months ago
- Lean 4 as a scripting language in Houdini☆21Updated last year
- A formalization of synthetic differential geometry in Coq using infinitesimal analysis☆11Updated 4 years ago
- Julia Implementation of Unums☆42Updated 8 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆56Updated 2 years ago
- sorear's Metamath system engine - version 3 Rust☆25Updated 2 years ago
- An extended typed Lambda Calculus☆21Updated last year
- A toy Wolfram language interpreter.☆38Updated last year
- An encyclopedia of proofs☆64Updated last year
- Automatically exported from code.google.com/p/ghilbert☆47Updated 8 years ago
- Continued fraction library☆32Updated 5 years ago
- Julia wrapper for The Z3 Theorem Prover (SMT Solver)☆24Updated 8 years ago
- Pull your compiler up with abstract bootstraps.☆31Updated 3 years ago
- Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@…☆25Updated 2 months ago
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆12Updated 2 years ago
- MimIR is my Intermediate Representation☆84Updated 2 weeks ago
- Real number computation software☆129Updated 3 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆33Updated 8 months ago
- Exploring the Klein Quartic's geometry.☆28Updated 2 years ago
- A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)☆47Updated 11 years ago
- Cayley Dickson algebra implementation in python☆12Updated 7 years ago
- Metamath verifier in Python☆40Updated 7 months ago
- Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations☆54Updated 4 months ago