Alternatives and similar repositories for sml-lsp-kit

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

• uemurax / morg
  Organize mathematical thoughts
  ☆20Updated 2 years ago
• JohnReppy / sml-compiler-utils
  A collection of SML utility modules that are useful for compiler writing.
  ☆11Updated 3 weeks ago
• jespercockx / agda-core
  A work-in-progress core language for Agda, in Agda
  ☆61Updated 2 weeks ago
• lpw25 / girards-paradox
  A "implementation" of Girard's paradox in OCaml
  ☆110Updated 10 years ago
• ToposInstitute / polytt
  A type theory with native support for Polynomial Functors.
  ☆41Updated 2 years ago
• gelisam / typechecker-combinators
  ☆17Updated last year
• adrieng / melitte
  Toy implementation of Martin-Löf Type Theory
  ☆30Updated 3 years ago
• AndrasKovacs / 2ltt-impl
  Eventually a practical 2-level TT-based compiler
  ☆29Updated last week
• jonsterling / project-pterosaur
  ☆45Updated 9 months ago
• AndrasKovacs / thesis
  my phd thesis
  ☆26Updated last year
• msp-strath / ask
  being a particular fragment of Haskell, extended to a proof system
  ☆43Updated last month
• jonsterling / agda-synthetic-domain-theory
  ☆17Updated 3 years ago
• effectfully / inference-in-agda
  A tutorial on how Agda infers things
  ☆63Updated 5 months ago
• olaure01 / yalla
  Yet Another deep embedding of Linear Logic in Coq
  ☆16Updated 4 months ago
• RedPRL / yuujinchou
  👹 A library for hierarchical names and lexical scoping
  ☆26Updated last month
• frex-project / idris-frex
  ☆51Updated 4 months ago
• RedPRL / asai
  🩺 A library for compiler diagnostics
  ☆52Updated last month
• ionathanch / parapoly
  A LaTeX-typeset reproduction of Reynolds' "Types, Abstraction and Parametric Polymorphism"
  ☆32Updated last year
• jaycech3n / Isabelle-HoTT
  An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle
  ☆34Updated 3 years ago
• T-Brick / molasses
  MLB support for CM (the SML/NJ Compilation and Library Manager)
  ☆18Updated 7 months ago
• RedPRL / bantorra
  📚 A library for managing libraries and resolving unit paths
  ☆17Updated last month
• cedille / ial
  The Iowa Agda Library
  ☆53Updated last month
• jespercockx / ataca
  A TACtic library for Agda
  ☆50Updated last year
• rocq-community / autosubst
  Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]
  ☆67Updated last year
• mvr / tiny
  A type theory for tiny objects
  ☆19Updated 2 years ago
• AndrasKovacs / antifunext
  antifunext
  ☆38Updated last year
• AndrasKovacs / universes
  Generalized syntax & semantics for universe hierarchies
  ☆32Updated 2 years ago
• Lysxia / system-F
  Formalization of the polymorphic lambda calculus and its parametricity theorem
  ☆36Updated 9 months ago
• FrozenWinters / SSTs
  Work in progress on semi-simplicial types
  ☆23Updated 3 years ago
• rzrn / anders
  Anders: Cubical Type Checker
  ☆23Updated 2 years ago