JohnReppy / sml-lsp-kit
Standard ML Infrastructure for writing LSP servers
β13Updated 4 months ago
Alternatives and similar repositories for sml-lsp-kit:
Users that are interested in sml-lsp-kit are comparing it to the libraries listed below
- A collection of SML utility modules that are useful for compiler writing.β11Updated last month
- Organize mathematical thoughtsβ19Updated last year
- π A library for managing libraries and resolving unit pathsβ17Updated 5 months ago
- Repository holding code and latex sources for paper "Why Not W?"β11Updated 4 years ago
- πΉ A library for hierarchical names and lexical scopingβ25Updated 5 months ago
- Experiments with higher-order abstract syntax in Agdaβ20Updated 2 years ago
- A type theory with native support for Polynomial Functors.β39Updated last year
- Haskell implementation of the Edinburgh Logical Frameworkβ27Updated 4 months ago
- Session types in Idris2!β27Updated 4 years ago
- Toy implementation of Martin-LΓΆf Type Theoryβ28Updated 2 years ago
- An attempt towards univalent classical mathematics in Cubical Agda.β29Updated last year
- Anders: Cubical Type Checkerβ23Updated last year
- An extension of the NbE algorithm to produce computational tracesβ21Updated 2 years ago
- A ML-like pure functional language that can be used as a template for creating your own languageβ28Updated 2 months ago
- Forging Standard ML (SML) in emacsβ10Updated 2 years ago
- πͺ A Staged Type Theoryβ35Updated last year
- ModTT in Agdaβ11Updated 3 years ago
- Experiment with synthetic domain theory in cubical agdaβ14Updated 2 years ago
- A bare-bones LCF-style proof assistantβ22Updated 5 years ago
- A Unifying Cartesian Cubical Set Modelβ35Updated 5 years ago
- Partial combinatory algebras and realizability interpretations of arithmetic, in Coq.β13Updated 7 years ago
- The Evolution of a Typecheckerβ54Updated 6 years ago
- Signature documentation tool for Standard MLβ14Updated last year
- multi-shot continuations in OCamlβ48Updated last month
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yaccβ101Updated last year
- Mechanizations of Type Theoriesβ28Updated 2 weeks ago
- β17Updated 11 months ago
- my phd thesisβ26Updated 7 months ago
- β36Updated 3 years ago