Alternatives and similar repositories for LunarML:

Users that are interested in LunarML are comparing it to the libraries listed below

• smlsharp / smlsharp
  SML# compiler
  ☆224Updated last month
• amuletml / amulet
  An ML-like functional programming language
  ☆331Updated 3 years ago
• azdavis / millet
  A language server for Standard ML.
  ☆223Updated last week
• trealla-prolog / trealla
  A compact, efficient Prolog interpreter written in plain-old C.
  ☆285Updated this week
• eashanhatti / peridot
  A fast functional language based on two level type theory
  ☆388Updated 2 years ago
• SaberVM / SaberVM
  ☆200Updated 7 months ago
• esumii / min-caml
  moved from https://sourceforge.net/p/min-caml/code/
  ☆500Updated 4 months ago
• racket / zuo
  A tiny Racket for scripting
  ☆284Updated this week
• githwxi / ATS-Xanadu
  Bootstrapping ATS3
  ☆208Updated this week
• smlnj / smlnj
  Standard ML of New Jersey
  ☆200Updated this week
• mirth-lang / mirth
  Compiler for the Mirth programming language.
  ☆458Updated this week
• racket / rhombus
  Rhombus programming language
  ☆366Updated this week
• yuriy-chumak / ol
  Otus Lisp (Ol in short) is a purely* functional dialect of Lisp.
  ☆228Updated this week
• LPCIC / elpi
  Embeddable Lambda Prolog Interpreter
  ☆301Updated last week
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆286Updated 3 months ago
• udem-dlteam / ribbit
  A portable, compact and extensible Scheme implementation that is fully R4RS compliant. This includes closures, I/O, tail calls, first-cla…
  ☆507Updated this week
• mlatu-lang / mlatu
  A declarative concatenative programming language
  ☆163Updated 3 months ago
• SomewhatML / sml-compiler
  A compiler for Standard ML, somewhat
  ☆202Updated 2 years ago
• let-def / hotcaml
  Hotcaml: an interpreter with watching and reloading
  ☆142Updated 2 years ago
• melsman / mlkit
  Standard ML Compiler and Toolkit
  ☆280Updated 2 weeks ago
• rossberg / 1ml
  1ML prototype interpreter
  ☆279Updated 4 years ago
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆189Updated 2 years ago
• ciao-lang / ciao
  Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
  ☆294Updated 3 months ago
• ollef / sixty
  Dependent type checker using normalisation by evaluation
  ☆256Updated 5 months ago
• augustss / MicroHs
  Haskell implemented with combinators
  ☆424Updated this week
• githwxi / ATS-Postiats
  ATS2: Unleashing the Potentials of Types and Templates
  ☆355Updated last month
• MPLLang / mpl
  The MaPLe compiler: efficient and scalable parallel functional programming
  ☆370Updated 2 weeks ago
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆203Updated last week
• sasagawa888 / nprolog
  interpreter and compiler to be compatible with ARITY/PROLOG（MS-DOS)
  ☆95Updated this week
• kindl / Hypatia
  A ML-family Language Compiled to Lua
  ☆141Updated 3 months ago