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.☆175Updated last week
- the WebAssembly partial evaluator☆97Updated this week
- ☆173Updated 10 months ago
- Datalog with equality for rust☆68Updated this week
- RFC process for Bytecode Alliance projects☆69Updated last week
- A content-addressable datastore for WebAssembly modules☆56Updated 10 months ago
- Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST☆43Updated 5 months ago
- Extism PDK for the MoonBit programming language.☆32Updated 2 weeks ago
- WebAssembly System Interface☆67Updated 3 weeks ago
- A repl for WebAssembly Components☆112Updated last year
- ☆58Updated last month
- Rust implementation of µKanren, a featherweight relational programming language.☆115Updated 2 years ago
- The compiler for the Claw language☆118Updated 10 months ago
- Proposal for Type Imports & Exports☆23Updated last year
- A minimal wasm demo with an in-browser editor and language server built with tower-lsp☆43Updated 11 months ago
- It’s a pure safe BTree that can be used to build your own special-purpose btree data structure☆54Updated this week
- Build Abstract Syntax Trees and tree-walking models quickly in Rust.☆122Updated last year
- hindley-milner algorithm☆62Updated 2 years ago
- A draft proposal for spawning threads in WebAssembly☆63Updated last month
- ☆18Updated 10 months ago
- ergonomic columnar storage encoding crate☆24Updated 4 months ago
- Proposal to add tail calls to WebAssembly☆114Updated 5 months ago
- Session Type EDSL for Rust☆104Updated 3 years ago
- Grain support for Visual Studio Code☆23Updated 9 months ago
- Cmark.mbt is a CommonMark toolkit for MoonBit.☆28Updated 2 weeks ago
- Vector operations for WebAssembly☆50Updated last year
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆150Updated 2 months ago
- A menagerie of cute implementations of modern typechecking algorithms☆213Updated this week
- 🦾 Mech is a programming language for building data-driven systems like robots, games, and interfaces. Start here!☆235Updated last week
- The practical relational programing language for data-oriented applications☆209Updated 2 years ago