Alternatives and similar repositories for milone-lang

Users that are interested in milone-lang are comparing it to the libraries listed below

• faber-lang / faber

  View on GitHub
  functional programming language and its compiler
  ☆18Oct 22, 2019Updated 6 years ago
• Drumato / peachili

  View on GitHub
  the peachili( Peach + Chili) programming language
  ☆11Feb 2, 2021Updated 5 years ago
• 0918nobita / psyche-fs

  View on GitHub
  Programming language
  ☆13Dec 6, 2020Updated 5 years ago
• todesking / typesafe_parser

  View on GitHub
  An experimental TypeScript parser combinator library. Powered by template literal types(TS 4.1+).
  ☆15Dec 20, 2020Updated 5 years ago
• takoeight0821 / malgo

  View on GitHub
  A statically typed functional programming language.
  ☆46Jan 17, 2026Updated 3 weeks ago
• gfngfn / Sesterl

  View on GitHub
  An ML-like statically-typed Erlang
  ☆157Oct 6, 2023Updated 2 years ago
• qnighy / rbbardiche

  View on GitHub
  Ruby parser and LSP in Rust
  ☆20Jul 23, 2022Updated 3 years ago
• sile / erl_parse

  View on GitHub
  Erlang source code parser written in Rust
  ☆10Oct 15, 2021Updated 4 years ago
• wejournal / lamb

  View on GitHub
  A statically typed and lazy evaluated implementation of Lambda Calculus.
  ☆21Sep 15, 2018Updated 7 years ago
• ymyzk / lambda-dti

  View on GitHub
  Interpreter of the ITGL with dynamic type inference
  ☆21Feb 24, 2025Updated 11 months ago
• yamacir-kit / meevax

  View on GitHub
  A programmable programming language
  ☆23Nov 17, 2025Updated 2 months ago
• coord-e / mlml

  View on GitHub
  self-hosted compiler for a subset of OCaml
  ☆51Jun 12, 2019Updated 6 years ago
• na0214 / snail

  View on GitHub
  [WIP] A functional programming language based on Coeffect Calculus and Graded Modal Type Theory.
  ☆13Dec 3, 2020Updated 5 years ago
• fetburner / type-infer

  View on GitHub
  A Formal Verification of Algorithm W
  ☆17Mar 10, 2021Updated 4 years ago
• pi8027 / typeinfer

  View on GitHub
  Type inference in OCaml
  ☆40Mar 14, 2015Updated 10 years ago
• szktty / starlight

  View on GitHub
  [WIP] Yet another Erlang implementation in Rust
  ☆33Feb 18, 2019Updated 6 years ago
• okeuday / erlang_ml

  View on GitHub
  Erlang External Term Format for OCaml
  ☆29Oct 27, 2023Updated 2 years ago
• tomjridge / tjr_kv

  View on GitHub
  A key-value store for OCaml
  ☆17Feb 1, 2022Updated 4 years ago
• mitsuchi / ron

  View on GitHub
  小さい計算体系をシンプルに定義できるような言語をつくりたい
  ☆16Nov 17, 2025Updated 2 months ago
• mizunashi-mana / proglang-notes

  View on GitHub
  Notes of Programming Languages
  ☆11Nov 30, 2024Updated last year
• nkon / ked-texteditor

  View on GitHub
  simple text editor using rust language.
  ☆14Apr 13, 2020Updated 5 years ago
• nathsou / yolang-res

  View on GitHub
  Rust-like language compiling directly to WebAssembly
  ☆15Sep 14, 2025Updated 5 months ago
• narumincho / definy

  View on GitHub
  deiny is web app for web app. under development
  ☆16Feb 5, 2026Updated last week
• qnighy / umo

  View on GitHub
  A programming language (WIP)
  ☆29Jun 2, 2024Updated last year
• qnighy / logic-solver-rs

  View on GitHub
  ☆46Jan 9, 2023Updated 3 years ago
• maekawatoshiki / rcaml

  View on GitHub
  rcaml is an OCaml implementation in Rust
  ☆63Dec 25, 2017Updated 8 years ago
• davnavr / FSharpIL

  View on GitHub
  An F# library for writing and reading .NET assemblies and modules
  ☆12Aug 30, 2021Updated 4 years ago
• Orasund / elm-refine

  View on GitHub
  refinement types for Elm
  ☆16Jul 12, 2023Updated 2 years ago
• egison / typed-egison

  View on GitHub
  ☆19Jan 29, 2019Updated 7 years ago
• cympfh / cumin

  View on GitHub
  Mini-Programmable Configuration Language
  ☆17Sep 11, 2024Updated last year
• cotowali / litsu

  View on GitHub
  ☆45Sep 30, 2022Updated 3 years ago
• gfngfn / game_tianjiupai

  View on GitHub
  A Tian Jiu Pai (天九牌) game server written in Sesterl & Elm
  ☆16Oct 8, 2023Updated 2 years ago
• marcopennekamp / lore

  View on GitHub
  Lore is a general-purpose programming language featuring multi-functions, structs and traits, a static type system with sum and intersect…
  ☆18May 19, 2023Updated 2 years ago
• raviqqe / fmm

  View on GitHub
  The uncurried minimal functional programming language for CPS transformation
  ☆19Feb 23, 2024Updated last year
• pveber / ocaml-jquery

  View on GitHub
  Binding to jQuery (for js_of_ocaml)
  ☆25Nov 19, 2012Updated 13 years ago
• fsugjp / fsugjp

  View on GitHub
  ☆18Nov 15, 2019Updated 6 years ago
• ta0kira / zeolite

  View on GitHub
  Zeolite is a statically-typed, general-purpose programming language.
  ☆19Jun 26, 2025Updated 7 months ago
• ein-lang / ein

  View on GitHub
  The functional programming language for scalable development
  ☆35Jan 5, 2025Updated last year
• coord-e / scopion

  View on GitHub
  a statically-typed programming language with powerful syntax
  ☆31Jul 6, 2019Updated 6 years ago