Alternatives and similar repositories for Bleach

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

• taolson / Admiran
  Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda
  ☆75Updated this week
• kjosib / sophie
  A call-by-need statically-duck-typed language named for French mathematician Sophie Germain
  ☆32Updated 7 months ago
• Superstar64 / aith
  [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…
  ☆63Updated last year
• caius-iulius / spinnaker
  ☆26Updated last year
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆281Updated last week
• RyanBrewer317 / cricket_rs
  A tiny lazy objective functional language
  ☆18Updated 11 months ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆56Updated 3 weeks ago
• Storyyeller / cubiml-demo
  A simple ML-like programming language with subtyping and full type inference.
  ☆179Updated 9 months ago
• etiamz / supercompilation-resources
  📚 A collection of resources about supercompilation
  ☆117Updated last month
• rajeevradnair / wabbit_dbeazley
  Compiler project for Dave Beazley' Wabbit Language
  ☆25Updated 3 years ago
• siko-lang / siko_old
  siko
  ☆14Updated last year
• fir-lang / fir
  Fir programming language
  ☆69Updated this week
• nlsandler / c-compiler-implementations
  Reader Implementations of "Writing a C Compiler"
  ☆25Updated this week
• dunhamsteve / newt
  A toy dependent typed language.
  ☆32Updated last week
• Ahnfelt / type-inference-by-example
  A series of down-to-earth articles on implementing type inference
  ☆159Updated 5 years ago
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆72Updated 3 years ago
• been-jamming / CORE
  A constructive proof assistant for second order logic.
  ☆35Updated 11 months ago
• luc-tielen / eclair-lang
  A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
  ☆224Updated last year
• gibbon-compiler / gibbon
  A compiler for functional programs on serialized data
  ☆167Updated this week
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆74Updated this week
• swtwsk / vinci-lang
  A proof-of-concept compiler targeting SPIR-V for a toy ML functional shading language
  ☆15Updated 3 years ago
• ccntrq / loxomotive
  loxomotive - A Lox Interpreter implemented in Haskell
  ☆17Updated 3 years ago
• skrah / minicaml
  Compiler for a very restricted subset of OCaml
  ☆25Updated 9 years ago
• Lambda-Mountain-Compiler-Backend / LSTS
  Large Scale Type Systems: ML/C Hybrid Programming Language
  ☆126Updated last month
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆51Updated this week
• egel-lang / egel
  The Egel Programming Language
  ☆84Updated 3 months ago
• hkust-taco / mlscript
  The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…
  ☆200Updated last week
• MarcelGarus / martinaise
  A small, statically typed, low-level programming language.
  ☆22Updated last week
• wilbowma / pl-thesaurus
  ☆90Updated 3 years ago
• proglangdesign / proglangdesign.github.io
  A website for the #proglangdesign community on freenode
  ☆112Updated 2 weeks ago