Daninet / gmp-wasmLinks
Arbitrary-precision Integer, Rational and Float types based on the GMP and MPFR libraries
☆27Updated 11 months ago
Alternatives and similar repositories for gmp-wasm
Users that are interested in gmp-wasm are comparing it to the libraries listed below
Sorting:
- ☆172Updated 8 months ago
- A repository for the stack switching proposal.☆170Updated 4 months ago
- An embeddable Scheme R7 Compiler & Runtime written in Rust☆105Updated last month
- A minimal pure functional language based on self dependent types.☆73Updated 3 years ago
- Macros have types!☆129Updated 2 years ago
- Proposal to add tail calls to WebAssembly☆114Updated 3 months ago
- the WebAssembly partial evaluator☆60Updated 7 months ago
- Proposal for Typed Function References☆103Updated 6 months ago
- Test materials for getting JIT support for wizer☆110Updated 2 years ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆79Updated last year
- 🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧☆264Updated last year
- One-pass Code Generation in V8 (Archive)☆20Updated 2 years ago
- A buildbot for wabt.js, a port of WABT to the Web, with TypeScript support.☆162Updated last week
- Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"☆75Updated 10 months ago
- Racket to WebAssembly Compiler☆36Updated 5 months ago
- Implementation of "practical type inference for arbitrary-rank types" in Javascript☆10Updated 6 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- A small malloc implementation, for use in WebAssembly☆165Updated last year
- Notes from my research for forest-lang☆12Updated 3 years ago
- This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)☆55Updated last week
- Bootstrap compiler for Firefly☆55Updated this week
- The Unofficial Incomplete Spidermonkey Bibliography☆17Updated 7 months ago
- An esoteric programming language, using box-drawing characters☆29Updated 4 months ago
- Compiling WebAssembly into x86_64 assembly☆32Updated 3 years ago
- Parser generator for the lezer incremental parser☆172Updated this week
- A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.☆44Updated 9 years ago
- A lightweight FFI library for JavaScript and WebAssembly☆119Updated 7 years ago
- an experimental new programming language based on interaction nets☆272Updated this week
- Programming language and compiler —WORK IN PROGRESS—☆74Updated 2 years ago
- A WIP little dependently-typed systems language☆41Updated 10 months ago