stonebuddha / tree-sitter-smlView external linksLinks
Standard ML Grammar for Tree-sitter
☆25Jan 14, 2022Updated 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:
- Standard ML (SML) grammar for tree-sitter☆14May 22, 2025Updated 8 months ago
- Signature documentation tool for Standard ML☆14Oct 4, 2023Updated 2 years ago
- A custom parser/auto-formatter for Standard ML☆88Jan 1, 2026Updated last month
- An auto-formatter for the Standard ML language☆23Apr 22, 2020Updated 5 years ago
- macOS bindings to the FSEvents API☆18Nov 24, 2025Updated 2 months ago
- A quirky object oriented standard library for ocaml☆17Apr 11, 2021Updated 4 years ago
- MLB support for CM (the SML/NJ Compilation and Library Manager)☆18May 26, 2025Updated 8 months ago
- A statically-typed programming language based on "F-ing modules"☆81Jul 25, 2020Updated 5 years ago
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Jul 4, 2013Updated 12 years ago
- company-mode completion back-end for MLton/Standard ML☆16Dec 7, 2020Updated 5 years ago
- Path tracer live coded in stream☆20Aug 23, 2020Updated 5 years ago
- A Lean 4 formalization of partial combinatory algebras.☆14Jan 6, 2025Updated last year
- An experimental language server for SomewhatML☆24Dec 30, 2022Updated 3 years ago
- The Online Interpreter for Standard ML, written in TypeScript.☆178Updated this week
- ☆12Mar 13, 2025Updated 11 months ago
- A server for the forester tool☆17Dec 10, 2024Updated last year
- SMLDoc, detached from the SML# distribution☆11Oct 22, 2011Updated 14 years ago
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- Generic package manager for Standard ML libraries and programs☆171Jan 14, 2026Updated last month
- A compiler for Standard ML, somewhat☆204Apr 25, 2022Updated 3 years ago
- Using Forester, We are attempting to resurrect and grow the since deleted model theory wiki and give it a better foundation for future gr…☆16Jun 8, 2025Updated 8 months ago
- ☆12Jan 25, 2022Updated 4 years ago
- Proposition for modernizing the OCaml API from the official manual☆10Apr 1, 2023Updated 2 years ago
- ☆16Aug 2, 2023Updated 2 years ago
- ML Basis for Poly/ML☆13Oct 18, 2025Updated 3 months ago
- Lifting Reduction Semantics through Syntactic Sugar☆13May 13, 2018Updated 7 years ago
- (the first half of) an ML compiler☆10Sep 6, 2014Updated 11 years ago
- Chart.js bindings for OCaml☆13May 13, 2021Updated 4 years ago
- Compile HTML templates to OCaml modules to generate consistent web sites.☆23Nov 12, 2021Updated 4 years ago
- Experimental normalisation via scheme☆12Jul 25, 2021Updated 4 years ago
- an SML language server that uses SML/NJ's "visible compiler" feature☆24Jan 15, 2018Updated 8 years ago
- Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"☆25Jul 26, 2022Updated 3 years ago
- A chess-themed tutorial on writing an SPA in Bucklescript-TEA☆29Feb 28, 2021Updated 4 years ago
- Ninja is a small build system with a focus on speed. Rust language port.☆18Nov 11, 2017Updated 8 years ago
- An English translation of Deligne's three "Hodge theory" papers☆14Feb 7, 2026Updated last week
- OCaml implementation of sets as hash tables by Jean-Christophe Filliatre☆10Feb 13, 2025Updated last year
- A Redex tutorial with a focus on how to do work in Redex☆11Oct 21, 2024Updated last year
- Higher Algebra with Opetopic Types☆16Mar 30, 2023Updated 2 years ago
- experiments with Brr/Note☆13Aug 27, 2021Updated 4 years ago