g-plane / wasm-language-tools
Language server and other tools for WebAssembly.
☆21Updated this week
Alternatives and similar repositories for wasm-language-tools:
Users that are interested in wasm-language-tools are comparing it to the libraries listed below
- generate typed wrappers for tree-sitter grammars from node-types.json and queries☆23Updated 3 weeks ago
- A fork of Tree Sitter with a pure Rust runtime for WASM support☆46Updated 3 weeks ago
- Asynchronous Language Server Protocol framework☆90Updated 3 weeks ago
- A category and functional programing library for Zig language☆28Updated 2 months ago
- ☆38Updated this week
- Reduces the size and coverage of OpenType fonts.☆44Updated this week
- WebAssembly grammars for tree-sitter☆34Updated last year
- A template for you to implement Hazelnut yourself☆21Updated 2 months ago
- ☆17Updated last month
- A JS devtool orchestrator☆41Updated 2 weeks ago
- Exploring the "expression problem" in Rust☆48Updated 2 years ago
- Rust KDL parser and derive implementation☆24Updated last month
- The Pulse separation logic DSL for F*☆14Updated this week
- VS Code syntax highlighting for KDL☆29Updated 2 months ago
- dependent type theory experiment☆25Updated last year
- Concrete Syntax Tree library☆93Updated last week
- the WebAssembly partial evaluator☆52Updated 4 months ago
- Cmark.mbt is a CommonMark toolkit for MoonBit.☆26Updated this week
- Various tools for EBNF grammars☆10Updated 2 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆42Updated last month
- Helps import tree-sitter grammars☆27Updated 2 years ago
- Learn Lean 4 with PLFA proofs.☆58Updated 10 months ago
- A dependently typed programming language with direct style effects and linearity☆19Updated 8 months ago
- A Haskell 2010 type checker☆17Updated last year
- Porotbuf generator for MoonBit programming language☆11Updated 3 months ago
- A well-documented minimal dependently-typed language for my friend Lyzh☆27Updated last month
- Haskell library for parsing and evaluating typst☆53Updated 2 weeks ago
- The Simplest Parser Library (that works) in Rust☆42Updated 7 months ago
- A library for immutable lossless syntax trees in Rust☆29Updated last year
- A Rust library offering newtyped indices and vecs that use those indices☆18Updated 7 months ago