Alternatives and similar repositories for m:

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

• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆28Updated 5 years ago
• nikodemus / foolang
  A toy programming language.
  ☆39Updated last year
• hellerve / microml
  A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines
  ☆36Updated 5 years ago
• stchang / mlish
  ☆22Updated 5 years ago
• ytakano / blisp-repl
  ☆20Updated 2 years ago
• jsdf / lisp.rs
  Scheme Interpreter in Rust
  ☆28Updated 7 years ago
• rain-1 / tarot-compiler
  ☆17Updated 5 years ago
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 4 years ago
• racket / honu
  ☆19Updated last year
• joelburget / lvca
  language verification, construction, and analysis
  ☆20Updated 3 years ago
• xanadu-lang / xanadu
  This repository is supposed to hold a released version of Xanadu
  ☆24Updated 3 years ago
• iwillspeak / ullage
  A statically-typed compiled language defined by a simple grammar
  ☆24Updated 2 years ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆18Updated 2 years ago
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 3 years ago
• bryal / kvasir
  A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera
  ☆20Updated 2 years ago
• Bogdanp / racket-wasm
  Wasm tooling in Racket.
  ☆41Updated last year
• zsparks / scheme-dep
  A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"
  ☆8Updated 11 years ago
• hellerve / carp-vim
  A Vim plugin for Carp
  ☆17Updated 3 years ago
• deech / shen-rust
  ☆35Updated 5 years ago
• owainlewis / bridge
  A type-safe, stack-based functional programming language
  ☆16Updated last month
• MattX / peroxide
  Scheme in Rust
  ☆15Updated 3 years ago
• koka-lang / nodec
  NodeC -- A lean NodeJS in C using algebraic effect handlers.
  ☆34Updated 6 years ago
• gfngfn / toy-macro-ml
  An implementation of MacroML [Ganz, Sabry & Taha 2001]
  ☆30Updated 6 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆35Updated this week
• bryal / carth
  The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/
  ☆22Updated last year
• RauliL / plorth
  Embeddable Forth inspired scripting language
  ☆36Updated 6 years ago
• ocaml / MPP-language-blender
  MPP: a meta preprocessor that blends programming languages
  ☆32Updated last year
• rochus-keller / Som
  Parser, code model, navigable browser and VM for the SOM Smalltalk dialect
  ☆27Updated 2 years ago
• Wodan58 / joy1
  Manfred von Thun's Programming Language Joy
  ☆16Updated 2 months ago
• janestreet / sexp_pretty
  S-expression pretty-printer
  ☆21Updated 7 months ago