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:
- Julia interface to GAlgebra via PyCall☆17Updated this week
- Awesome Geometric Algebra☆29Updated 5 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆82Updated 2 years ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆62Updated 2 years ago
- Library for exact real number computations☆40Updated 10 years ago
- sorear's Metamath system engine - version 3 Rust☆25Updated 2 years ago
- Julia Implementation of Unums☆42Updated 8 years ago
- Geometric algebra library for Rust☆22Updated 7 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆32Updated 6 months ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆36Updated 6 months ago
- Deposited packages of the homalg project☆16Updated 2 months ago
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- Lean 4 as a scripting language in Houdini☆21Updated last year
- Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@…☆25Updated 3 weeks ago
- An attribute grammar-based programming language for composable language extensions☆66Updated this week
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆12Updated 2 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16Updated 7 years ago
- Superposition prover☆17Updated 2 years ago
- Metamath verifier in Python☆40Updated 5 months ago
- An encyclopedia of proofs☆63Updated last year
- C++ library for semigroups and monoids☆62Updated this week
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆29Updated 4 years ago
- A toy Wolfram language interpreter.☆35Updated last year
- mmj2 GUI Proof Assistant for the Metamath project☆75Updated last year
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 4 years ago
- Various Futhark benchmark programs☆42Updated 3 months ago
- You are trapped on an infinite tile floor along with murderous marbles☆12Updated last year
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆32Updated last month
- Real number computation software☆128Updated 3 years ago
- Exact real arithmetic in C++☆50Updated 5 years ago