Daninet / gmp-wasmLinks
Arbitrary-precision Integer, Rational and Float types based on the GMP and MPFR libraries
☆29Updated last year
Alternatives and similar repositories for gmp-wasm
Users that are interested in gmp-wasm are comparing it to the libraries listed below
Sorting:
- Proposal to add tail calls to WebAssembly☆114Updated 7 months ago
- ☆174Updated last month
- Experimental, recursively-embeddable, domain-specific editors and text editor☆80Updated last year
- A minimal pure functional language based on self dependent types.☆73Updated 3 years ago
- Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"☆79Updated last year
- A buildbot for wabt.js, a port of WABT to the Web, with TypeScript support.☆166Updated this week
- Multitier JavaScript☆155Updated last month
- a datalog interpreter in typescript☆212Updated 9 months ago
- Test materials for getting JIT support for wizer☆116Updated 3 years ago
- A repository for the stack switching proposal.☆178Updated last week
- Proposal for Typed Function References☆102Updated 10 months ago
- A hackable notes-spreadsheet-hybrid for programmers☆16Updated 11 months ago
- Parser generator for the lezer incremental parser☆182Updated 3 months ago
- Notes from my research for forest-lang☆12Updated 3 years ago
- This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)☆56Updated 2 months ago
- Cell compiler☆115Updated 2 years ago
- A reactive and strongly-typed, but also pragmatic, new programming language. Compiles to JavaScript, designed to be comfy for people used…☆90Updated 2 years ago
- Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)☆24Updated 3 years ago
- An R7RS Scheme implemented in WebAssembly☆179Updated 2 years ago
- Manifest manifold models with magical machinations.☆38Updated last week
- Tiny subset of JavaScript for ocap-safe universal mobile code☆301Updated last month
- ☆103Updated 3 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆61Updated last week
- the WebAssembly partial evaluator☆102Updated last month
- An embeddable Scheme R7 Compiler & Runtime written in Rust☆105Updated 4 months ago
- Cat - a statically typed functional stack-based programming language☆271Updated 7 years ago
- Racket to WebAssembly Compiler☆37Updated 8 months ago
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- ☆44Updated 11 months ago
- miniKanren for JavaScript☆27Updated 2 years ago