wasmfx / wasmfxtimeLinks
A fork of wasmtime (a fast and secure runtime for WebAssembly) supporting the WasmFX instruction set
☆21Updated last year
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.☆187Updated 3 months ago
- ☆174Updated 5 months ago
- the WebAssembly partial evaluator☆113Updated 5 months ago
- Wasm SpecTec specification tools☆85Updated last week
- Datalog with equality for rust☆72Updated last month
- Debugging WebAssembly? Put some Whamm! on it.☆84Updated last week
- Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST☆43Updated 11 months ago
- ☆58Updated 7 months ago
- It’s a pure safe BTree that can be used to build your own special-purpose btree data structure☆58Updated 4 months ago
- A content-addressable datastore for WebAssembly modules☆59Updated last year
- A repl for WebAssembly Components☆117Updated last year
- A JS devtool orchestrator☆56Updated 2 weeks ago
- Extism PDK for the MoonBit programming language.☆34Updated 2 weeks ago
- The compiler for the Claw language☆123Updated 4 months ago
- The practical relational programing language for data-oriented applications☆215Updated 3 years ago
- A benchmarking suite and tooling for Wasmtime and Cranelift☆82Updated last month
- self adjusting computations in rust☆137Updated 2 weeks ago
- Build Abstract Syntax Trees and tree-walking models quickly in Rust.☆123Updated 2 years ago
- Cmark.mbt is a CommonMark toolkit for MoonBit.☆33Updated last week
- ergonomic columnar storage encoding crate☆27Updated 4 months ago
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆153Updated 7 months ago
- mirror: GC implementation in Rust: http://ts.data61.csiro.au/publications/nictaabstracts/Lin_BHN_16.abstract.pml☆36Updated 9 years ago
- I/O Types proposal for WASI☆182Updated 2 months ago
- A minimal wasm demo with an in-browser editor and language server built with tower-lsp☆48Updated last year
- Proposal for Typed Function References☆102Updated last year
- Proposal for Type Imports & Exports☆23Updated last year
- RFC process for Bytecode Alliance projects☆72Updated 4 months ago
- Session Type EDSL for Rust☆103Updated 3 years ago
- An experimental programming language for ergonomic software verification☆16Updated this week
- WASI Testsuite☆77Updated this week