Alternatives and similar repositories for lambda-mountain:

Users that are interested in lambda-mountain are comparing it to the libraries listed below

• andrew-johnson-4 / LSTS
  Large Scale Type Systems (programming language)
  ☆117Updated last week
• kjosib / sophie
  A call-by-need statically-duck-typed language named for French mathematician Sophie Germain
  ☆31Updated 2 weeks ago
• tsoding / qbe-notes
  Notes from the stream where I was checking out QBE
  ☆19Updated 10 months ago
• siko-lang / siko_old
  siko
  ☆14Updated last year
• cicada-lang / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆26Updated this week
• jart / blc
  Binary Lambda Calculus Virtual Machine
  ☆49Updated last year
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆33Updated 8 months ago
• caius-iulius / spinnaker
  ☆27Updated last year
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆28Updated 5 years ago
• joes-esolangs / barrel
  An esoteric RPN golfing language
  ☆23Updated 2 years ago
• SjVer / Lamb
  An implementation of Colin James' "Compiling Lambda Calculus"
  ☆16Updated 2 years ago
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆63Updated 7 months ago
• moirai-lang / moirai-kt
  A scripting language that calculates the worst-case execution time (WCET) before executing each script. Ideal for multi-tenant microservi…
  ☆28Updated 7 months ago
• leissa / whilec
  An interpreter/compiler for a toy language called While. The implementation is in Python.
  ☆19Updated last year
• MarcelGarus / martinaise
  A small, statically typed, low-level programming language.
  ☆19Updated 3 weeks ago
• egel-lang / egel
  The Egel Programming Language
  ☆84Updated last month
• dunhamsteve / newt
  A toy dependent typed language.
  ☆24Updated this week
• csb6 / bluebird
  A work-in-progess programming language modeled after Ada and C++
  ☆25Updated 2 years ago
• marianoguerra / mclulang
  McLulang: The message is the language
  ☆10Updated 5 months ago
• nikodemus / foolang
  A toy programming language.
  ☆37Updated last year
• luno-lang / luno
  A small toy language with syntax heavily inspired by Lua that transpiles to JS.
  ☆18Updated last year
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆53Updated last year
• RyanBrewer317 / cricket_rs
  A tiny lazy objective functional language
  ☆14Updated 4 months ago
• 418e / Tron
  Statically typed general purpose programming language
  Updated 10 months ago
• wojciech-graj / oriel
  An interpreter for the 1991 Oriel scripting language
  ☆56Updated last year
• Spydr06 / BCause
  BCause (pronounced "because") is a compiler for the old B programming language (1969) for modern systems.
  ☆55Updated last year
• core-lang / core
  The Core Programming Language
  ☆51Updated last week
• UberPyro / prowl
  WIP stack language that uses regex for control flow
  ☆42Updated last year
• coetaur0 / nox
  The Nox programming language
  ☆29Updated last year