Daninet / gmp-wasm
Arbitrary-precision Integer, Rational and Float types based on the GMP and MPFR libraries
☆21Updated 2 months ago
Related projects: ⓘ
- Test materials for getting JIT support for wizer☆103Updated last year
- Experimental, recursively-embeddable, domain-specific editors and text editor☆77Updated 11 months ago
- A minimal pure functional language based on self dependent types.☆72Updated 2 years ago
- VSCode extension for autocomplete when writing WebAssembly Text (.wat) files☆32Updated 8 months ago
- ☆175Updated last week
- ☆21Updated this week
- Parser generator for the lezer incremental parser☆149Updated 3 weeks ago
- A hackable notes-spreadsheet-hybrid for programmers☆14Updated last month
- ☆45Updated this week
- Type Inference Library written in TypeScript☆92Updated last year
- A tiny WASI runtime written in TypeScript☆114Updated 2 years ago
- Proposal to add tail calls to WebAssembly☆111Updated 2 weeks ago
- Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"☆76Updated last month
- Archive of the ES4 reference interpreter that was a work-in-progress when ES4 was cancelled.☆24Updated 10 years ago
- Notes from my research for forest-lang☆12Updated 2 years ago
- ☆38Updated 3 years ago
- Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)☆24Updated 2 years ago
- Pratt parser builder in TypeScript (along with simple tokenizer)☆14Updated last year
- miniKanren for JavaScript☆22Updated last year
- Delimited Generators - Minimal Delimited Control for JS☆12Updated 4 months ago
- A reactive and strongly-typed, but also pragmatic, new programming language. Compiles to JavaScript, designed to be comfy for people used…☆86Updated last year
- Macros have types!☆131Updated last year
- This is an implementation of interaction nets. It introduces you to the bizarre world of graph-based computation and linear logic, using …☆43Updated 3 weeks ago
- Code and demos for Reconstructing TypeScript blog posts.☆34Updated last year
- The Yatima Standard Library☆20Updated 9 months ago
- A (WIP) WebAssembly System Interface implementation for Deno☆130Updated 4 years ago
- Standard library for the Formality language☆18Updated 4 years ago
- ECMAScript verification with SMT solvers☆123Updated 3 months ago
- webassembly wat text format to binary compiler☆20Updated last year
- The Coil Programming Language☆33Updated 6 months ago