Alternatives and similar repositories for making-a-language

Users that are interested in making-a-language are comparing it to the libraries listed below

• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆45Updated 3 months ago
• morphic-lang / morphic
  Pure functional programming with whole-program mutability inference
  ☆69Updated 2 months ago
• johnyob / grace
  A fancy diagnostics library that allows your compilers to exit with grace
  ☆72Updated last month
• FrankBro / ordo
  Ordo: A minimalist language with row polymorphism
  ☆82Updated last month
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 years ago
• hkust-taco / mlstruct
  Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
  ☆39Updated 5 months ago
• balint99 / sfpl
  A simple functional programming language.
  ☆21Updated 3 years ago
• elpinal / modules-rs
  An interpreter of F-ing modules
  ☆19Updated 5 years ago
• fir-lang / fir
  Fir programming language
  ☆52Updated this week
• elpinal / bright-ml
  A statically-typed programming language based on "F-ing modules"
  ☆81Updated 4 years ago
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆63Updated 3 years ago
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆69Updated 2 months ago
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆54Updated 2 years ago
• contificate / match
  Match compilation algorithm in OCaml
  ☆25Updated 2 months ago
• taolson / Admiran
  Admiran compiler, library, and examples
  ☆62Updated this week
• Innf107 / vega-prototype
  Prototype for https://github.com/Innf107/vega
  ☆19Updated 9 months ago
• osa1 / h10
  A Haskell 2010 type checker
  ☆17Updated last year
• ayazhafiz / plts
  A collection of programming languages and type systems.
  ☆33Updated this week
• LPTK / simpler-sub
  Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…
  ☆26Updated 2 years ago
• ocaml-multicore / picos
  Interoperable effects based concurrency
  ☆131Updated last week
• 0xGlitchbyte / OCrab
  A Rust to OCaml source to source translator
  ☆21Updated last year
• mmcqd / datatt
  A dependent type theory with user defined data types
  ☆46Updated 3 years ago
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆59Updated last year
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆72Updated last year
• solomon-b / lambda-calculus-hs
  Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
  ☆44Updated 3 months ago
• RedPRL / asai
  🩺 A library for compiler diagnostics
  ☆45Updated 3 months ago
• Lysxia / bluefin-algae
  Algebraic effects in the Bluefin effect system
  ☆16Updated last year
• anton-k / hindley-milner-type-check
  Haskell library for type-inference with Hindley-Milner type-system.
  ☆34Updated 11 months ago
• diku-dk / smlfut
  Call Futhark programs from Standard ML
  ☆10Updated 8 months ago
• ocaml-multicore / kcas
  Software Transactional Memory for OCaml
  ☆120Updated last month