Alternatives and similar repositories for microml

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

• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆27Updated 5 years ago
• stchang / mlish
  ☆22Updated 5 years ago
• xanadu-lang / xanadu
  This repository is supposed to hold a released version of Xanadu
  ☆24Updated 3 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆35Updated last month
• otabat / shen-c
  A C implementation of the Shen programming language
  ☆70Updated 3 years ago
• arcfide / Haven
  Your happy place for learning APL
  ☆16Updated 2 years ago
• broom-lang / broom
  A programming language with first-class modules and algebraic effects.
  ☆14Updated 2 years ago
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆63Updated 11 months ago
• lexi-lambda / mini-ml
  An experimental implementation of a tiny ML-like language using an embedded custom expander (WIP, currently just System F core language)
  ☆21Updated 6 years ago
• owainlewis / bridge
  A type-safe, stack-based functional programming language
  ☆16Updated 2 months ago
• zsparks / scheme-dep
  A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"
  ☆8Updated 11 years ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆18Updated 2 years ago
• janestreet / sexp
  S-expression swiss knife
  ☆44Updated 2 weeks ago
• ocaml / MPP-language-blender
  MPP: a meta preprocessor that blends programming languages
  ☆32Updated last year
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated 3 months ago
• cassowarii / alma
  poetic concatenative programming language
  ☆10Updated 8 months ago
• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆20Updated 4 years ago
• nmhancock / type-inferencing
  Hindley–Milner Type inferencing in C
  ☆48Updated 2 years ago
• garrigue / lablgl
  LablGL: an openGL interface for OCaml
  ☆23Updated last year
• Wodan58 / joy1
  Manfred von Thun's Programming Language Joy
  ☆16Updated 3 months ago
• racket / parser-tools
  ☆14Updated 2 months ago
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 3 years ago
• 4y8 / esoo
  Like the Programming Languages Zoo but with esoteric languages.
  ☆25Updated 4 years ago
• dzaima / aoc
  My Advent of Code solutions
  ☆22Updated 4 months ago
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 7 years ago
• bennn / forth
  Forth emulator, as a Racket #lang
  ☆21Updated 2 years ago
• dedbox / racket-template
  A Racket Meta-Program Generator
  ☆17Updated 5 years ago
• adrieng / pulsar
  Experimental functional language
  ☆17Updated 2 years ago
• e-wrks / edh
  Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++
  ☆28Updated 11 months ago
• robertkleffner / wort
  A core concatenative programming language with variables and first-rank polymorphic type inference
  ☆31Updated 5 years ago