wasmfx / wasmfxtimeLinks
A fork of wasmtime (a fast and secure runtime for WebAssembly) supporting the WasmFX instruction set
☆21Updated 10 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.☆181Updated last month
- the WebAssembly partial evaluator☆108Updated 3 months ago
- ☆174Updated 3 months ago
- Wasm SpecTec specification tools☆81Updated this week
- Extism PDK for the MoonBit programming language.☆33Updated last week
- Datalog with equality for rust☆71Updated 2 weeks ago
- Test materials for getting JIT support for wizer☆120Updated 3 years ago
- A content-addressable datastore for WebAssembly modules☆58Updated last year
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆152Updated 5 months ago
- A benchmark suite and tool to compare different implementations of the same primitives.☆81Updated 3 weeks ago
- WebAssembly System Interface☆76Updated 2 weeks ago
- Cmark.mbt is a CommonMark toolkit for MoonBit.☆29Updated this week
- Cicada Language (PLCT little team)☆94Updated 11 months ago
- A minimal pure functional language based on self dependent types.☆73Updated 3 years ago
- Proposal for Type Imports & Exports☆23Updated last year
- RFC process for Bytecode Alliance projects☆72Updated 2 months ago
- A minimal wasm demo with an in-browser editor and language server built with tower-lsp☆48Updated last year
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆212Updated this week
- ☆31Updated 9 months ago
- A repl for WebAssembly Components☆117Updated last year
- The compiler for the Claw language☆122Updated 2 months ago
- A JS devtool orchestrator☆52Updated 3 weeks ago
- Reactables enable you to bring the power of React and JSX outside of the JavaScript ecosystem.☆51Updated 9 months ago
- ☆58Updated 5 months ago
- Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST☆43Updated 9 months ago
- Proposal to add tail calls to WebAssembly☆114Updated 9 months ago
- Fungi: Typed incremental computation with names☆70Updated 6 years ago
- An experimental programming language for ergonomic software verification☆16Updated last month
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆65Updated 3 weeks ago
- ☆93Updated 3 years ago