Alternatives and similar repositories for webml

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

• SomewhatML / sml-compiler
  A compiler for Standard ML, somewhat
  ☆203Updated 3 years ago
• argumentcomputer / yatima-lang-alpha
  A programming language for the decentralized web
  ☆449Updated 2 years ago
• pen-lang / pen
  The parallel, concurrent, and functional programming language for scalable software development
  ☆460Updated this week
• maekawatoshiki / sericum
  (Toy) Compiler Infrastructure influenced by LLVM written in Rust
  ☆401Updated 4 years ago
• KeliLanguage / compiler
  The compiler for Keli
  ☆173Updated 6 years ago
• smlsharp / smlsharp
  SML# compiler
  ☆243Updated 2 months ago
• SOSML / SOSML
  The Online Interpreter for Standard ML, written in TypeScript.
  ☆177Updated last year
• athas / raytracers
  Performance comparison of parallel ray tracing in functional programming languages
  ☆307Updated 2 years ago
• egison / egison
  The Egison Programming Language
  ☆920Updated 2 years ago
• esumii / min-caml
  moved from https://sourceforge.net/p/min-caml/code/
  ☆513Updated this week
• ehatti / peridot
  A fast functional language based on two level type theory
  ☆392Updated 2 years ago
• cell-lang / compiler
  Cell compiler
  ☆115Updated 2 years ago
• mirth-lang / mirth
  Compiler for the Mirth programming language.
  ☆477Updated 4 months ago
• minoki / LunarML
  The Standard ML compiler that produces Lua/JavaScript
  ☆410Updated this week
• Ashymad / fortraith
  Forth for Rust's trait system
  ☆230Updated 5 years ago
• cofibrant / micro-mitten
  You might not need your garbage collector
  ☆543Updated 5 years ago
• ocaml-multicore / parallel-programming-in-multicore-ocaml
  Tutorial on Multicore OCaml parallel programming with domainslib
  ☆295Updated last year
• topshell-language / topshell
  TopShell - a purely functional, reactive scripting language
  ☆477Updated 4 years ago
• caotic123 / Kei
  A small and expressive dependently typed language
  ☆131Updated 5 years ago
• pikelet-lang / pikelet
  A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
  ☆622Updated 4 years ago
• rossberg / 1ml
  1ML prototype interpreter
  ☆287Updated 5 years ago
• pointless-lang / pointless
  Pointless: a scripting language for learning and fun
  ☆122Updated 4 years ago
• vekatze / neut
  A programming language with static memory management based on λ-calculus
  ☆1,005Updated this week
• frank-lang / frank
  Frank compiler
  ☆299Updated last year
• triska / lisprolog
  Interpreter for a simple Lisp. Written in Prolog.
  ☆150Updated 2 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• SaberVM / SaberVM
  ☆212Updated last year
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆306Updated last month
• mirage / ocaml-git
  Pure OCaml Git format and protocol
  ☆367Updated 4 months ago
• antoyo / tiger-rs
  Rust implementation of the projects from the book Modern Compiler Implementation in ML
  ☆145Updated 4 months ago