Alternatives and similar repositories for Bleach

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

• taolson / Admiran
  Admiran, a pure, lazy, functional language and self-hosting compiler based upon Miranda
  ☆63Updated this week
• kjosib / sophie
  A call-by-need statically-duck-typed language named for French mathematician Sophie Germain
  ☆32Updated 6 months ago
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆275Updated this week
• noti0na1 / socc
  Simple C Compiler in OCaml
  ☆94Updated 7 years ago
• Storyyeller / cubiml-demo
  A simple ML-like programming language with subtyping and full type inference.
  ☆176Updated 7 months ago
• hkust-taco / mlscript
  The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…
  ☆195Updated last week
• nlsandler / c-compiler-implementations
  Reader Implementations of "Writing a C Compiler"
  ☆24Updated last week
• Ahnfelt / type-inference-by-example
  A series of down-to-earth articles on implementing type inference
  ☆159Updated 5 years ago
• caius-iulius / spinnaker
  ☆26Updated last year
• fsantanna / dceu
  ☆29Updated last month
• nanaharris / vaca
  An interpreted array programming language
  ☆16Updated 7 months ago
• siko-lang / siko_old
  siko
  ☆14Updated last year
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆115Updated this week
• RyanBrewer317 / cricket_rs
  A tiny lazy objective functional language
  ☆17Updated 10 months ago
• SebastianMestre / Jasper
  A programming language. Static types. Full type inference. Garbage collection. --- not stable
  ☆61Updated last year
• Superstar64 / aith
  [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…
  ☆62Updated last year
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆72Updated 3 years ago
• stereobooster / write-you-a-programming-language
  List of small programming languages that you can implement in a relatively small amount of time for educational purposes.
  ☆110Updated 4 years ago
• norswap / uranium
  Semantic analysis framework
  ☆14Updated 3 years ago
• CompilerProgramming / ez-lang
  EeZee Language - Compiler Engineering Basics
  ☆28Updated last month
• thunderseethe / making-a-language
  Full Source Code for Making a Language series
  ☆49Updated last month
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆53Updated 5 months ago
• proglangdesign / proglangdesign.github.io
  A website for the #proglangdesign community on freenode
  ☆109Updated 3 months ago
• rajeevradnair / wabbit_dbeazley
  Compiler project for Dave Beazley' Wabbit Language
  ☆25Updated 3 years ago
• mukul-rathi / bolt-dissertation
  This repository accompanies Bolt - includes the accompanying dissertation.
  ☆41Updated 4 years ago
• morphic-lang / morphic
  Pure functional programming with whole-program mutability inference
  ☆72Updated last week
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆70Updated this week
• 418e / Tron
  Statically typed general purpose programming language
  ☆2Updated last year
• LPTK / simple-sub
  Alternative algorithm for algebraic subtyping.
  ☆168Updated last month
• tearflake / symbolverse
  minimalistic s-expression based term rewriting framework
  ☆15Updated last month