Alternatives and similar repositories for sml-lsp-kit

Users that are interested in sml-lsp-kit are comparing it to the libraries listed below

• JohnReppy / sml-compiler-utils
  A collection of SML utility modules that are useful for compiler writing.
  ☆11Updated last month
• uemurax / morg
  Organize mathematical thoughts
  ☆20Updated last year
• RedPRL / bantorra
  📚 A library for managing libraries and resolving unit paths
  ☆17Updated 8 months ago
• RedPRL / yuujinchou
  👹 A library for hierarchical names and lexical scoping
  ☆25Updated 8 months ago
• wenkokke / idris-sesh
  Session types in Idris2!
  ☆27Updated 4 years ago
• RedPRL / asai
  🩺 A library for compiler diagnostics
  ☆46Updated 4 months ago
• dhil / ocaml-multicont
  multi-shot continuations in OCaml
  ☆48Updated 4 months ago
• pedagand / typechecker-evolution
  The Evolution of a Typechecker
  ☆54Updated 6 years ago
• elpinal / modules
  Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules
  ☆31Updated 2 years ago
• MatthewFluet / smelt
  Forging Standard ML (SML) in emacs
  ☆10Updated 2 years ago
• gelisam / typechecker-combinators
  ☆17Updated last year
• andreasabel / helf
  Haskell implementation of the Edinburgh Logical Framework
  ☆30Updated last month
• ollef / system-f-omega-agda
  A formalization of System Fω in Agda
  ☆17Updated 4 months ago
• cedille / cedille2
  ☆15Updated 5 months ago
• metaocaml / metaocaml-opam
  A repository of MetaOCaml packages
  ☆13Updated last month
• adrieng / melitte
  Toy implementation of Martin-Löf Type Theory
  ☆28Updated 2 years ago
• jashug / WhyNotW
  Repository holding code and latex sources for paper "Why Not W?"
  ☆11Updated 4 years ago
• andrejbauer / miniLCF
  A bare-bones LCF-style proof assistant
  ☆24Updated 5 years ago
• anderslundstedt / pca-realizability
  Partial combinatory algebras and realizability interpretations of arithmetic, in Coq.
  ☆13Updated 8 years ago
• artagnon / bonak
  🧊 An indexed construction of semi-simplicial and semi-cubical sets
  ☆29Updated this week
• cedille / ial
  The Iowa Agda Library
  ☆48Updated this week
• Saizan / miller
  Miller/pattern unification in Agda
  ☆65Updated 11 years ago
• gallais / agda-sizedIO
  IO using sized types and copatterns
  ☆35Updated 4 years ago
• maxsnew / synthetic-domain-theory
  Experiment with synthetic domain theory in cubical agda
  ☆14Updated 2 years ago
• rzrn / anders
  Anders: Cubical Type Checker
  ☆24Updated last year
• RedPRL / algaeff
  🦠 Reusable components based on algebraic effects
  ☆50Updated 8 months ago
• Lysxia / system-F
  Formalization of the polymorphic lambda calculus and its parametricity theorem
  ☆35Updated 3 months ago
• RedPRL / algaett
  🦠 An experimental elaborator for dependent type theory using effects and handlers
  ☆37Updated last year
• RedPRL / agda-mugen
  A formalization of the theory behind the mugen library
  ☆19Updated last year
• diku-dk / sigdoc
  Signature documentation tool for Standard ML
  ☆14Updated last year