stonebuddha / tree-sitter-smlLinks
Standard ML Grammar for Tree-sitter
☆25Updated 4 years 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:
- Delimited continuations in byte-code and native OCaml☆27Updated 5 years ago
- S-expression pretty-printer☆22Updated 2 weeks ago
- S-expression swiss knife☆47Updated 2 weeks ago
- ☆64Updated last year
- An auto-formatter for the Standard ML language☆23Updated 5 years ago
- OCaml plus Jane Street extensions☆73Updated last year
- S-expression parsing library☆36Updated 2 weeks ago
- Property-based testing at ease☆42Updated 4 years ago
- 🩺 A library for compiler diagnostics☆52Updated 2 months ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 4 years ago
- Binding to Cairo, a 2D Vector Graphics Library.☆56Updated last year
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Updated 12 years ago
- Commodity thread pools and concurrency primitives for OCaml 5☆72Updated 2 weeks ago
- Standard ML (SML) grammar for tree-sitter☆14Updated 8 months ago
- Playing with type systems☆51Updated last year
- A simple monadic parser combinator library for OCaml☆69Updated 3 years ago
- OCaml with macros☆60Updated 3 months ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆33Updated 7 years ago
- An OCaml toplevel (REPL) upgrade☆93Updated 6 months ago
- 🦠 Reusable components based on algebraic effects☆51Updated 2 months ago
- A library with an encoding of higher kinded types in OCaml☆43Updated 2 weeks ago
- Port of the Elm playground package to OCaml to make pictures, animations, and even video games easily.☆30Updated last year
- A Deductive Verification Tool for OCaml Programs☆76Updated 3 months ago
- Less redundancy in type declarations and signatures☆92Updated 3 months ago
- ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.☆38Updated 3 years ago
- Generation of S-expression conversion functions from type definitions☆94Updated 2 weeks ago
- Wrapper around the OCaml `lsp` library to make it easier to write LSP servers☆37Updated last month
- Tools to manipulate source files (linting, patching, etc.)☆20Updated 7 years ago
- Light library to deal with RPCs in OCaml☆98Updated last month
- The OCaml findlib library manager☆38Updated last year