erigontech / gmp-wasm
Fork of the GNU Multiple Precision Arithmetic Library (GMP), suitable for compilation into WebAssembly.
☆14Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for gmp-wasm
- ☆12Updated last week
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆24Updated this week
- cadCAD implementation in Julia☆14Updated last week
- Port of Jeremy Ong's SIMD-enabled projective geometric algebra library☆16Updated 4 years ago
- ACSets: Algebraic databases as in-memory data structures☆19Updated last month
- Assorted s-expression utilities for Julia☆15Updated 8 months ago
- Geometric algebra library for Rust☆21Updated 6 years ago
- Huzita-Hatori axioms for origami, implemented using 2D projective geometric algebra.☆11Updated 3 years ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆26Updated last week
- Dendriform di-algebra algorithms to compute using Loday's arithmetic on groves of planar binary trees☆16Updated 4 years ago
- Simplicial sets and other combinatorial models of geometric spaces☆31Updated this week
- Write Rust code in Julia☆46Updated 8 years ago
- Superposition prover☆16Updated last year
- Generate(d) custom libraries for geometric algebras☆46Updated 6 months ago
- Interface for the ganja.js library in Julia☆10Updated last year
- Lean 4 as a scripting language in Houdini☆15Updated 8 months ago
- Tangent bundle, vector space and Submanifold definition☆50Updated last month
- The Nix interface to Julia Ecosystem [maintainer=@GTrunSec]☆38Updated last year
- A WebAssembly implementation in Lean4☆32Updated 11 months ago
- Package-specific AbstractUnitRange types for julia☆8Updated 7 months ago
- Algorithmic music composition in Julia☆10Updated 4 years ago
- Julia binding for MMTk☆13Updated 2 weeks ago
- Standard library for the Formality language☆18Updated 4 years ago
- Experimental type-safe geometric algebra for Rust☆51Updated last year
- Animations for Elementary-Affine-Net interactions☆11Updated 5 years ago
- An LLVM interface for Lean 4. (WIP)☆15Updated last year
- Julia interface to GAlgebra via PyCall☆14Updated this week
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆11Updated last year
- Bayesian inference on wiring diagrams.☆18Updated last year
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆64Updated 3 years ago