Alternatives and similar repositories for scotch

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

• jozefg / hm
  A small implementation of type inference
  ☆80Updated 10 years ago
• mythryl / mythryl
  The Mythryl programming language
  ☆117Updated 9 years ago
• briantrice / slate-language
  The Slate programming language
  ☆147Updated 2 years ago
• githwxi / ATS-Postiats-contrib
  ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats
  ☆49Updated 5 years ago
• cruxlang / crux
  Crux Programming Language
  ☆53Updated 2 months ago
• texodus / forml
  A programming language
  ☆77Updated 12 years ago
• standardml / parcom
  SML Parser Combinator Library
  ☆28Updated 9 years ago
• chrisosaurus / icarus
  Programming language designed as an experiment to explore mutation and aliasing control
  ☆34Updated 5 years ago
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆36Updated 4 years ago
• openj / core
  abandoned, please check out https://github.com/jsoftware/jsource
  ☆120Updated 9 years ago
• nostrademons / arclite
  A JavaScript port of Paul Graham's Arc programming language
  ☆20Updated 17 years ago
• harlanhaskins / hasm
  An Assembly-like programming language and interpreter in Haskell
  ☆16Updated 9 years ago
• HackerFoo / peg
  A lazy non-deterministic concatenative programming language
  ☆55Updated 12 years ago
• samrushing / irken-compiler
  Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.
  ☆213Updated 2 years ago
• iskandr / ocaml_llvm
  Toy compiler for OCaml Meetup
  ☆67Updated 13 years ago
• breuleux / liso
  Operator syntax for the Lisp family of languages (Racket implementation)
  ☆33Updated 11 years ago
• tonyg / marketplace
  Repository has moved: https://git.syndicate-lang.org/syndicate-lang/marketplace-2014
  ☆73Updated 4 years ago
• edwinb / EpiVM
  Epic - a Supercombinator Compiler
  ☆64Updated 10 years ago
• akeep / nanopass-framework-racket
  Racket port of the nanopass-framework
  ☆34Updated 4 years ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆126Updated 5 years ago
• mthom / shentong
  A Haskell implementation of the Shen programming language.
  ☆170Updated 7 years ago
• mlemerre / l-lang
  Compiler and tools for the L programming language
  ☆72Updated last year
• kwantam / lviv
  stack-based RPN functional programming language
  ☆54Updated 7 years ago
• melted / idris-chez
  An idris backend compiling to chez scheme
  ☆48Updated 8 years ago
• UBMLtonGroup / RTMLton
  MLton with Realtime GC and Threading features
  ☆103Updated last year
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 9 years ago
• acook / blacklight
  a stack-based concatenative virtual machine for implementing highly concurrent languages
  ☆44Updated last year
• idris-lang / idris-emptycg
  An empty code generator, to be used as a starting point for any new back ends.
  ☆51Updated 7 years ago
• soupi / pureli
  A purely functional, dynamically typed, parallel evaluated Lisp-like programming language
  ☆35Updated 9 years ago
• arclanguage / arc-nu
  Rewrite of Arc 3.1 with more features, more speed, and bug fixes. Still compatible with Arc 3.1.
  ☆49Updated 8 years ago