Alternatives and similar repositories for alma

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

• elpinal / types-1ml
  Type systems written in 1ML
  ☆9Updated 5 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆35Updated 2 months ago
• robertkleffner / CaKe
  An interpreter for a minimal but Turing-complete stack based 'concatenative' language.
  ☆19Updated 11 years ago
• robertkleffner / wort
  A core concatenative programming language with variables and first-rank polymorphic type inference
  ☆31Updated 5 years ago
• doublec / shen-wasp
  Port of Shen to run on top of Wasp Lisp
  ☆25Updated 3 years ago
• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆19Updated 4 years ago
• dhil / pthandlers
  an encoding of affine effect handlers using pthreads
  ☆14Updated 2 years ago
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 7 years ago
• tov / alms
  The Alms Programming Language
  ☆44Updated 6 years ago
• 8l / asif
  A Self-Interpreter for F-omega
  ☆16Updated 9 years ago
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆25Updated 11 years ago
• standardml / parcom
  SML Parser Combinator Library
  ☆28Updated 9 years ago
• TOTBWF / muprl
  A small NuPRL style proof assistant
  ☆31Updated 6 years ago
• xanadu-lang / xanadu
  This repository is supposed to hold a released version of Xanadu
  ☆24Updated 3 years ago
• gfngfn / toy-macro-ml
  An implementation of MacroML [Ganz, Sabry & Taha 2001]
  ☆32Updated 6 years ago
• adrieng / pulsar
  Experimental functional language
  ☆17Updated 2 years ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago
• owainlewis / bridge
  A type-safe, stack-based functional programming language
  ☆16Updated 3 months ago
• rowandavies / sml-cidre
  SML Checker for Intersection and Datasort Refinements (pronounced "cider")
  ☆20Updated 11 years ago
• bennn / forth
  Forth emulator, as a Racket #lang
  ☆21Updated 2 years ago
• owainlewis / forth
  A micro compiler for the FORTH programming language
  ☆12Updated 4 years ago
• githwxi / ATS-Temptory
  For supporting template-based programming
  ☆21Updated 4 years ago
• andrejbauer / miniLCF
  A bare-bones LCF-style proof assistant
  ☆24Updated 5 years ago
• gallettilance / magnificATS
  Collection of ATS goodness
  ☆35Updated 5 years ago
• dbp / funtal
  FunTAL: mixing a functional language with assembly.
  ☆40Updated 7 years ago
• habit-lang / alb
  ☆39Updated 9 months ago
• rossberg / mixml
  MixML prototype interpreter
  ☆27Updated 5 years ago
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆57Updated 11 years ago
• neel-krishnaswami / inverse-bidirectional-typechecking
  A Toy Inverse Bidirectional Typechecker
  ☆31Updated 6 years ago
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆48Updated 10 years ago