wasmfx / wasmfxtime
A fork of wasmtime (a fast and secure runtime for WebAssembly) supporting the WasmFX instruction set
☆19Updated last week
Alternatives and similar repositories for wasmfxtime:
Users that are interested in wasmfxtime are comparing it to the libraries listed below
- the WebAssembly partial evaluator☆45Updated 2 months ago
- ☆58Updated 4 months ago
- A draft proposal for spawning threads in WebAssembly☆51Updated 2 weeks ago
- Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST☆40Updated 5 months ago
- A content-addressable datastore for WebAssembly modules☆54Updated 4 months ago
- ☆173Updated 3 months ago
- A repository for the stack switching proposal.☆155Updated 2 weeks ago
- Datalog with equality for rust☆67Updated 3 months ago
- A minimal pure functional language based on self dependent types.☆72Updated 2 years ago
- It’s a pure safe BTree that can be used to build your own special-purpose btree data structure☆52Updated 8 months ago
- 👌 A smol functional language that targets other languages☆62Updated last year
- an experimental new programming language based on interaction nets☆28Updated this week
- A benchmark suite and tool to compare different implementations of the same primitives.☆72Updated last month
- RFCs of MoonBit lang☆17Updated 9 months ago
- A sandboxed local task runner for Rust☆21Updated 4 months ago
- An experimental programming language for ergonomic software verification☆16Updated this week
- Programming Languages Intermediate Representation☆94Updated this week
- Fungi: Typed incremental computation with names☆67Updated 5 years ago
- A JS devtool orchestrator☆39Updated 2 months ago
- Wasm SpecTec specification tools☆31Updated this week
- Macros have types!☆129Updated last year
- hindley-milner algorithm☆54Updated last year
- ☆92Updated 2 years ago
- Liquid Types implementation for Rust☆28Updated 2 years ago
- The Yatima Standard Library☆20Updated last year
- A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.☆43Updated 8 years ago
- world's worst interpreter☆56Updated 6 months ago
- Embedded Scheme for the Async Rust Ecosystem☆40Updated this week
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆60Updated 3 years ago
- Grain support for Visual Studio Code☆24Updated 2 months ago