wasmfx / wasmfxtime
A fork of wasmtime (a fast and secure runtime for WebAssembly) supporting the WasmFX instruction set
☆20Updated 2 months ago
Alternatives and similar repositories for wasmfxtime:
Users that are interested in wasmfxtime are comparing it to the libraries listed below
- A repository for the stack switching proposal.☆162Updated last month
- the WebAssembly partial evaluator☆47Updated 4 months ago
- It’s a pure safe BTree that can be used to build your own special-purpose btree data structure☆53Updated 10 months ago
- ☆172Updated 4 months ago
- A draft proposal for spawning threads in WebAssembly☆54Updated 2 weeks ago
- RFC process for Bytecode Alliance projects☆64Updated 5 months ago
- A content-addressable datastore for WebAssembly modules☆54Updated 5 months ago
- ergonomic columnar storage encoding crate☆25Updated 6 months ago
- The Yatima Standard Library☆20Updated last year
- An experimental programming language for ergonomic software verification☆16Updated last week
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.☆14Updated 3 years ago
- Cmark.mbt is a CommonMark toolkit for MoonBit.☆26Updated this week
- Extism PDK for the MoonBit programming language.☆26Updated last week
- Wasm SpecTec specification tools☆35Updated this week
- Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST☆39Updated 3 weeks ago
- Datalog with equality for rust☆68Updated 4 months ago
- Grain bindings to Lunatic, the Erlang-inspired runtime for WebAssembly!☆19Updated 11 months ago
- ☆58Updated 6 months ago
- A minimal pure functional language based on self dependent types.☆72Updated 2 years ago
- A minimal wasm demo with an in-browser editor and language server built with tower-lsp☆39Updated 6 months ago
- ☆16Updated last year
- WebAssembly component model implementation for any backend.☆77Updated 2 weeks ago
- Grain support for Visual Studio Code☆23Updated 3 months ago
- Melda: A General Purpose Delta State JSON CRDT☆30Updated last week
- A simple programming language for researching different ways of program execution and compilation☆30Updated 5 months ago
- Session Type EDSL for Rust☆103Updated 2 years ago
- A library for immutable lossless syntax trees in Rust☆29Updated last year
- Web Assembly Value Encoding☆39Updated 9 months ago
- Type-Level Programming in Rust☆27Updated 3 years ago