JohnReppy / sml-lsp-kit
Standard ML Infrastructure for writing LSP servers
β11Updated last month
Related projects β
Alternatives and complementary repositories for sml-lsp-kit
- A collection of SML utility modules that are useful for compiler writing.β11Updated 3 years ago
- π A library for managing libraries and resolving unit pathsβ17Updated last month
- Forging Standard ML (SML) in emacsβ10Updated 2 years ago
- πΉ A library for hierarchical names and lexical scopingβ25Updated last month
- Organize mathematical thoughtsβ19Updated last year
- A type theory with native support for Polynomial Functors.β38Updated last year
- Session types in Idris2!β27Updated 3 years ago
- Haskell implementation of the Edinburgh Logical Frameworkβ26Updated last month
- A repository of MetaOCaml packagesβ12Updated last year
- Signature documentation tool for Standard MLβ14Updated last year
- A bare-bones LCF-style proof assistantβ21Updated 5 years ago
- Repository holding code and latex sources for paper "Why Not W?"β11Updated 3 years ago
- β18Updated 2 years ago
- ModTT in Agdaβ11Updated 3 years ago
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")β20Updated 11 years ago
- Experiment with synthetic domain theory in cubical agdaβ14Updated 2 years ago
- β16Updated 7 months ago
- A very little languageβ16Updated last year
- IO using sized types and copatternsβ33Updated 3 years ago
- multi-shot continuations in OCamlβ46Updated 3 weeks ago
- Higher kinded polymorphism in SMLβ15Updated 4 years ago
- Toy implementation of Martin-LΓΆf Type Theoryβ28Updated 2 years ago
- VSCode support for Foresterβ18Updated 5 months ago
- Denotational Semantics of the Untyped Lambda Calculusβ16Updated 2 weeks ago
- Generalized syntax & semantics for universe hierarchiesβ28Updated 11 months ago
- Experiments with higher-order abstract syntax in Agdaβ19Updated 2 years ago
- Simple conversion from Agda text to literate Agda text.β14Updated 7 months ago
- Experimental functional languageβ18Updated 2 years ago
- πͺ A Staged Type Theoryβ34Updated last year
- An experimental language server for SomewhatMLβ24Updated last year