wasmfx / wasmfxtimeLinks
A fork of wasmtime (a fast and secure runtime for WebAssembly) supporting the WasmFX instruction set
☆20Updated 6 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.☆172Updated 2 weeks ago
- the WebAssembly partial evaluator☆85Updated 2 weeks ago
- ☆172Updated 9 months ago
- Wasm SpecTec specification tools☆58Updated this week
- A content-addressable datastore for WebAssembly modules☆54Updated 9 months ago
- Datalog with equality for rust☆68Updated this week
- Macros have types!☆130Updated 2 years ago
- Extism PDK for the MoonBit programming language.☆31Updated this week
- Solving the 1 Billion Row Challenge in MPL☆17Updated last year
- 🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/☆144Updated last month
- A draft proposal for spawning threads in WebAssembly☆63Updated 2 weeks ago
- Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST☆42Updated 4 months ago
- Cicada Language (PLCT little team)☆93Updated 6 months ago
- A JS devtool orchestrator☆45Updated 4 months ago
- ☆58Updated 2 weeks ago
- A minimal wasm demo with an in-browser editor and language server built with tower-lsp☆43Updated 10 months ago
- Debugging WebAssembly? Put some Whamm! on it.☆35Updated this week
- It’s a pure safe BTree that can be used to build your own special-purpose btree data structure☆53Updated last year
- A library for deadlock-free session-typed communication in Rust.☆46Updated 4 years ago
- Session Type EDSL for Rust☆103Updated 3 years ago
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆195Updated last week
- Test materials for getting JIT support for wizer☆111Updated 2 years ago
- The Daedalus data description language☆75Updated 3 months ago
- WebAssembly System Interface☆66Updated this week
- A minimal pure functional language based on self dependent types.☆73Updated 3 years ago
- Cmark.mbt is a CommonMark toolkit for MoonBit.☆27Updated last month
- RFC process for Bytecode Alliance projects☆68Updated 2 months ago
- Proposal for Type Imports & Exports☆23Updated last year
- Proposal for Typed Function References☆103Updated 7 months ago
- The practical relational programing language for data-oriented applications☆208Updated 2 years ago