MatthewFluet / tree-sitter-smlLinks
Standard ML (SML) grammar for tree-sitter
☆15Updated last month
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:
- Forging Standard ML (SML) in emacs☆10Updated 2 years ago
- Standard ML Grammar for Tree-sitter☆24Updated 3 years ago
- company-mode completion back-end for MLton/Standard ML☆14Updated 4 years ago
- Call Futhark programs from Standard ML☆10Updated last month
- An experimental language server for SomewhatML☆24Updated 2 years ago
- Owl Tutorial☆6Updated 6 months ago
- Ocaml mode for emacs using treesitter☆16Updated 9 months ago
- A simple parser combinator library for Ocaml☆30Updated 3 years ago
- Port of the Elm playground package to OCaml to make pictures, animations, and even video games easily.☆27Updated 5 months ago
- S-expression pretty-printer☆21Updated last week
- multi-shot continuations in OCaml☆48Updated 4 months ago
- 🪆 A Staged Type Theory☆35Updated last year
- TOML parsing, manipulation, and pretty-printing library for OCaml (fully 1.0.0-compliant)☆52Updated 3 weeks ago
- Code style checker for Jane Street Packages☆20Updated last week
- Agda grammar for tree-sitter☆36Updated 7 months ago
- S-expression swiss knife☆45Updated last week
- Randomized testing framework, designed for compatibility with Base☆18Updated last week
- Binding to Cairo, a 2D Vector Graphics Library.☆55Updated 7 months ago
- 🩺 A library for compiler diagnostics☆46Updated 4 months ago
- ☆15Updated 3 weeks ago
- Fast implementation of queue in OCaml☆51Updated last year
- Tools to manipulate source files (linting, patching, etc.)☆21Updated 6 years ago
- Library to provide Erlang style distributed computations. This library is inspired by Cloud Haskell.☆58Updated 5 years ago
- Commodity thread pools and concurrency primitives for OCaml 5☆60Updated last month
- Delimited continuations in byte-code and native OCaml☆27Updated 4 years ago
- Matching Regular Expressions with OCaml Patterns☆55Updated 2 years ago
- Toy implementation of Martin-Löf Type Theory☆28Updated 2 years ago
- An interpreter of F-ing modules☆19Updated 6 years ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 4 years ago
- Unicode text segmentation for OCaml☆24Updated 3 months ago