MatthewFluet / tree-sitter-smlLinks
Standard ML (SML) grammar for tree-sitter
☆15Updated 2 months ago
Alternatives and similar repositories for tree-sitter-sml
Users that are interested in tree-sitter-sml are comparing it to the libraries listed below
Sorting:
- Standard ML Grammar for Tree-sitter☆24Updated 3 years ago
- company-mode completion back-end for MLton/Standard ML☆15Updated 4 years ago
- OCaml plus Jane Street extensions☆74Updated last year
- Commodity thread pools and concurrency primitives for OCaml 5☆62Updated last month
- How do you do that recursive GADT thing again?☆28Updated last year
- Call Futhark programs from Standard ML☆10Updated 2 months ago
- Playing with type systems☆51Updated 7 months ago
- OCaml linter☆77Updated 2 months ago
- S-expression parsing library☆35Updated 3 months ago
- TOML parsing, manipulation, and pretty-printing library for OCaml (fully 1.0.0-compliant)☆52Updated 2 months ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 6 months ago
- An overlay on Eglot for editing OCaml code using LSP☆48Updated 2 weeks ago
- Racket parser for tree-sitter☆31Updated 2 months ago
- Runtime assertion checking based on Gospel specifications☆47Updated 3 weeks ago
- Web server infrastructure for Standard ML☆13Updated last year
- A tool-agnostic formal specification language for OCaml.☆145Updated last week
- S-expression swiss knife☆46Updated 2 months ago
- Preprocessor / Pretty Printer for OCaml☆76Updated last week
- A statically-typed programming language based on "F-ing modules"☆81Updated 5 years ago
- An OCaml toplevel (REPL) upgrade☆94Updated 2 weeks ago
- OCaml code generator and runtime library for handling typed tree-sitter CSTs☆32Updated last month
- Keeps things up-to-date (a CI/CD pipeline OCaml eDSL)☆143Updated 5 months ago
- Wrapper around the OCaml `lsp` library to make it easier to write LSP servers☆35Updated 3 months ago
- Generation of S-expression conversion functions from type definitions☆91Updated last month
- Lightweight document☆139Updated 2 months ago
- Tools to manipulate source files (linting, patching, etc.)☆21Updated 7 years ago
- A Deductive Verification Tool for OCaml Programs☆74Updated last week
- Software Transactional Memory for OCaml☆128Updated last month
- Port of the Elm playground package to OCaml to make pictures, animations, and even video games easily.☆27Updated 7 months ago
- A declarative command-line parser for OCaml☆44Updated this week