erigontech / gmp-wasm
Fork of the GNU Multiple Precision Arithmetic Library (GMP), suitable for compilation into WebAssembly.
☆13Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for gmp-wasm
- A Categorical View of Computation☆28Updated 3 weeks ago
- A WebAssembly implementation in Lean4☆32Updated 10 months ago
- egraph <-> json☆12Updated last month
- Animations for Elementary-Affine-Net interactions☆11Updated 5 years ago
- Superposition prover☆16Updated last year
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆11Updated last year
- Extism Lean 4 Host SDK☆15Updated 2 weeks ago
- sorear's Metamath system engine - version 3 Rust☆22Updated last year
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆28Updated 2 months ago
- (early experiments toward) a version-control system for structured data☆17Updated last year
- ☆12Updated 2 years ago
- An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4☆15Updated 2 years ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆24Updated 2 weeks ago
- Tool for compiling Lean to WASM☆14Updated 7 months ago
- ☆11Updated this week
- ACSets: Algebraic databases as in-memory data structures☆19Updated last month
- cadCAD implementation in Julia☆12Updated 3 weeks ago
- Slides and handwritten notes on the course on models of programming languages☆50Updated 4 years ago
- Pull your compiler up with abstract bootstraps.☆31Updated last year
- An LLVM interface for Lean 4. (WIP)☆15Updated last year
- Dendriform di-algebra algorithms to compute using Loday's arithmetic on groves of planar binary trees☆16Updated 4 years ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆24Updated this week
- BQN implementation in Julia☆17Updated 2 years ago
- Simplicial sets and other combinatorial models of geometric spaces☆29Updated this week
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆64Updated 3 years ago
- Riemann Hypothesis in Lean☆39Updated 3 years ago
- Template for Lean<->Rust FFI☆11Updated 9 months ago
- A date and time library for Lean 4☆11Updated 6 months ago
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆13Updated this week
- A toy implementation of the EVM in Lean4.☆10Updated 5 months ago