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:
- Library for exact real number computations☆40Updated 10 years ago
- Julia interface to GAlgebra via PyCall☆17Updated last week
- Awesome Geometric Algebra☆28Updated 5 years ago
- Port of Jeremy Ong's SIMD-enabled projective geometric algebra library☆16Updated 4 years ago
- sorear's Metamath system engine - version 3 Rust☆26Updated 2 years ago
- Various Futhark benchmark programs☆42Updated last month
- A formalization of synthetic differential geometry in Coq using infinitesimal analysis☆11Updated 4 years ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆34Updated 4 months ago
- A toy Wolfram language interpreter.☆35Updated 10 months ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@…☆25Updated last month
- Lean 4 as a scripting language in Houdini☆20Updated last year
- Julia Implementation of Unums☆42Updated 8 years ago
- You are trapped on an infinite tile floor along with murderous marbles☆11Updated 11 months ago
- Haskell bindings to SymEngine☆27Updated 2 years ago
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- Binary rational numbers in Coq [maintainer=@herbelin]☆14Updated last year
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆32Updated last month
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆12Updated last year
- ☆11Updated 3 years ago
- Geometric algebra library for Rust☆22Updated 7 years ago
- A WebAssembly implementation in Lean4☆35Updated last year
- Superposition prover☆17Updated 2 years ago
- Metamath verifier in Python☆40Updated 3 months ago
- Javascript implementation of Fractran☆14Updated 8 years ago
- Coq library for verified low-level programming☆60Updated 8 years ago
- An encyclopedia of proofs☆63Updated 10 months ago
- An extended typed Lambda Calculus☆21Updated last year