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:
- Julia interface to GAlgebra via PyCall☆17Updated this week
- Awesome Geometric Algebra☆29Updated 5 years ago
- A formalization of synthetic differential geometry in Coq using infinitesimal analysis☆11Updated 4 years ago
- Library for exact real number computations☆40Updated 10 years ago
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆12Updated 2 years ago
- Geometric algebra library for Rust☆22Updated 7 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆82Updated 2 years ago
- Dendriform di-algebra algorithms to compute using Loday's arithmetic on groves of planar binary trees☆16Updated 6 years ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆62Updated 2 years ago
- A toy Wolfram language interpreter.☆39Updated last year
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆42Updated 9 months ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆56Updated 2 years ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆35Updated 4 months ago
- Lean 4 as a scripting language in Houdini☆21Updated last year
- ☆27Updated last week
- BQN implementation in Julia☆18Updated 3 years ago
- sorear's Metamath system engine - version 3 Rust☆25Updated 2 years ago
- Julia Implementation of Unums☆42Updated 8 years ago
- Julia wrapper for The Z3 Theorem Prover (SMT Solver)☆24Updated 8 years ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆38Updated 2 weeks ago
- A collection of formulas needed for everyday calculations in geometric algebra and calculus☆19Updated 8 years ago
- Deposited packages of the homalg project☆17Updated last month
- You are trapped on an infinite tile floor along with murderous marbles☆13Updated last year
- The main source code for Regina☆39Updated this week
- ACSets: Algebraic databases as in-memory data structures☆27Updated last week
- A Rule-Based Integrator Built On An If-Then-Else Decision Tree☆39Updated 4 years ago
- Simplicial Sets and the Discrete Exterior Calculus☆41Updated this week
- Pull your compiler up with abstract bootstraps.☆31Updated 3 years ago
- knot theory and computational algebra software☆38Updated 11 years ago
- Assorted s-expression utilities for Julia☆16Updated last year