wasmfx / wasmfxtimeLinks
A fork of wasmtime (a fast and secure runtime for WebAssembly) supporting the WasmFX instruction set
☆21Updated 8 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 last week
- the WebAssembly partial evaluator☆100Updated last month
- ☆174Updated last month
- It’s a pure safe BTree that can be used to build your own special-purpose btree data structure☆55Updated last week
- ergonomic columnar storage encoding crate☆24Updated last week
- Build Abstract Syntax Trees and tree-walking models quickly in Rust.☆122Updated last year
- A draft proposal for spawning threads in WebAssembly☆68Updated 2 months ago
- A repl for WebAssembly Components☆112Updated last year
- An experimental programming language for ergonomic software verification☆16Updated this week
- Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST☆43Updated 7 months ago
- A minimal wasm demo with an in-browser editor and language server built with tower-lsp☆44Updated last year
- ☆58Updated 2 months ago
- The compiler for the Claw language☆119Updated this week
- Cmark.mbt is a CommonMark toolkit for MoonBit.☆29Updated 3 weeks ago
- RFC process for Bytecode Alliance projects☆68Updated last week
- Extism PDK for the MoonBit programming language.☆33Updated 2 weeks ago
- A content-addressable datastore for WebAssembly modules☆56Updated last year
- ☆93Updated 2 years ago
- Wasm SpecTec specification tools☆71Updated 2 weeks ago
- hindley-milner algorithm☆62Updated 2 years ago
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆149Updated 3 months ago
- A benchmark suite and tool to compare different implementations of the same primitives.☆79Updated 3 months ago
- Concrete Syntax Tree library☆104Updated this week
- Command-Line Interface (CLI) World for WASI☆91Updated 2 weeks ago
- WebAssembly System Interface☆70Updated 2 months ago
- Datalog with equality for rust☆69Updated last week
- Test materials for getting JIT support for wizer☆116Updated 3 years ago
- Web Assembly Value Encoding☆40Updated last year
- 👌 A smol functional language that targets other languages☆64Updated last year
- The practical relational programing language for data-oriented applications☆210Updated 2 years ago