wasmfx / wasmfxtimeLinks
A fork of wasmtime (a fast and secure runtime for WebAssembly) supporting the WasmFX instruction set
☆21Updated 7 months ago
Alternatives and similar repositories for wasmfxtime
Users that are interested in wasmfxtime are comparing it to the libraries listed below
Sorting:
- A repository for the stack switching proposal.☆178Updated 3 weeks ago
- the WebAssembly partial evaluator☆97Updated 2 weeks ago
- ☆174Updated 2 weeks ago
- Cmark.mbt is a CommonMark toolkit for MoonBit.☆29Updated this week
- Extism PDK for the MoonBit programming language.☆33Updated 2 weeks ago
- Cicada Language (PLCT little team)☆94Updated 8 months ago
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆150Updated 2 months ago
- Wasm SpecTec specification tools☆60Updated this week
- The compiler for the Claw language☆119Updated 11 months ago
- A repl for WebAssembly Components☆112Updated last year
- Build Abstract Syntax Trees and tree-walking models quickly in Rust.☆122Updated last year
- ☆29Updated 6 months ago
- ☆29Updated 8 months ago
- A content-addressable datastore for WebAssembly modules☆55Updated 11 months ago
- A draft proposal for spawning threads in WebAssembly☆65Updated 2 months ago
- It’s a pure safe BTree that can be used to build your own special-purpose btree data structure☆55Updated 3 weeks ago
- Datalog with equality for rust☆69Updated last week
- RFC process for Bytecode Alliance projects☆70Updated 3 weeks ago
- Test materials for getting JIT support for wizer☆115Updated 2 years ago
- 🧪 | LLVM backend for HVM☆23Updated 2 years ago
- A simple ML-like programming language with subtyping and full type inference.☆180Updated 9 months ago
- A minimal pure functional language based on self dependent types.☆73Updated 3 years ago
- A minimal wasm demo with an in-browser editor and language server built with tower-lsp☆43Updated last year
- Grain bindings to Lunatic, the Erlang-inspired runtime for WebAssembly!☆19Updated last year
- Session Type EDSL for Rust☆103Updated 3 years ago
- Macros have types!☆131Updated 2 years ago
- Multiple per-module memories for Wasm☆135Updated 9 months ago
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆201Updated 2 weeks ago
- Proposal to add tail calls to WebAssembly☆114Updated 6 months ago
- hindley-milner algorithm☆62Updated 2 years ago