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☆28Updated 5 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- Geometric algebra library for Rust☆22Updated 7 years ago
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆12Updated last year
- Julia Implementation of Unums☆42Updated 8 years ago
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- Port of Jeremy Ong's SIMD-enabled projective geometric algebra library☆16Updated 5 years ago
- Library for exact real number computations☆40Updated 10 years ago
- Dendriform di-algebra algorithms to compute using Loday's arithmetic on groves of planar binary trees☆16Updated 5 years ago
- Various Futhark benchmark programs☆42Updated 2 months ago
- Assorted s-expression utilities for Julia☆16Updated last year
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated 2 years ago
- Julia wrapper for The Z3 Theorem Prover (SMT Solver)☆24Updated 8 years ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆32Updated 3 weeks ago
- sorear's Metamath system engine - version 3 Rust☆25Updated 2 years ago
- ACSets: Algebraic databases as in-memory data structures☆26Updated 2 weeks ago
- Locate local installations of the Wolfram Language.☆18Updated 8 months ago
- Write Rust code in Julia☆46Updated 9 years ago
- Macaulay2 web app with support for KaTeX and HTML output☆19Updated 3 weeks ago
- K Junior is an MIT licensed open source array language written by Arthur Whitney.☆22Updated last year
- Lean 4 as a scripting language in Houdini☆21Updated last year
- Metamath verifier in Python☆39Updated 4 months ago
- Tangent bundle, vector space and Submanifold definition☆51Updated 2 months ago
- Simplicial Sets and the Discrete Exterior Calculus☆39Updated 3 weeks ago
- GluCat: Clifford algebra templates☆21Updated 7 months ago
- Julia bindings for AMD's clFFT library☆16Updated 2 years ago
- Modeling and Programming with Gecode☆50Updated 2 years ago
- MimIR is my Intermediate Representation☆80Updated last week