Alternatives and similar repositories for Bleach

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

• kjosib / sophie
  A call-by-need statically-duck-typed language named for French mathematician Sophie Germain
  ☆33Updated 11 months ago
• taolson / Admiran
  Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda
  ☆82Updated this week
• caius-iulius / spinnaker
  ☆26Updated 2 years ago
• fir-lang / fir
  Fir programming language
  ☆84Updated this week
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆66Updated last month
• siko-lang / siko_old
  siko
  ☆14Updated last year
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆299Updated this week
• Superstar64 / aith
  [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…
  ☆70Updated last year
• thunderseethe / making-a-language
  Full Source Code for Making a Language series
  ☆60Updated 2 weeks ago
• RyanBrewer317 / cricket_rs
  A tiny lazy objective functional language
  ☆19Updated last year
• nlsandler / c-compiler-implementations
  Reader Implementations of "Writing a C Compiler"
  ☆34Updated last week
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆77Updated 3 years ago
• khasm-lang / khasmc
  A functional programming language, mirroring Erlang and Go, but with more OCaml!
  ☆28Updated 2 months ago
• zhiayang / lambda
  lambda calculus interpreter
  ☆45Updated 4 years ago
• etiamz / supercompilation-resources
  📚 A collection of resources about supercompilation
  ☆125Updated 5 months ago
• pronesto / DCC888
  ☆26Updated 6 months ago
• swtwsk / vinci-lang
  A proof-of-concept compiler targeting SPIR-V for a toy ML functional shading language
  ☆15Updated 4 years ago
• etiamz / optiscope
  A Lévy-optimal lambda calculus reducer with a backdoor to C
  ☆40Updated 2 months ago
• tjammer / schmu
  Mirror of https://codeberg.org/tjammer/schmu
  ☆28Updated last month
• proglangdesign / wiki
  The programming language design wiki.
  ☆26Updated 2 months ago
• SebastianMestre / Jasper
  A programming language. Static types. Full type inference. Garbage collection. --- not stable
  ☆63Updated last month
• Hans-Halverson / myte
  Compiler and tooling for the Myte programming language.
  ☆28Updated 2 years ago
• rajeevradnair / wabbit_dbeazley
  Compiler project for Dave Beazley' Wabbit Language
  ☆26Updated 3 years ago
• polarity-lang / polarity
  A language with dependent data and codata types
  ☆125Updated this week
• been-jamming / CORE
  A constructive proof assistant for second order logic.
  ☆36Updated last year
• Mesabloo / snowstar
  Here lies the code for the Snow* programming language, currently being rewritten.
  ☆33Updated 6 years ago
• morphic-lang / morphic
  Pure functional programming with whole-program mutability inference
  ☆78Updated 4 months ago
• gavr123456789 / Niva
  Smalltalk like programming language
  ☆67Updated last week
• norswap / uranium
  Semantic analysis framework
  ☆15Updated 3 years ago
• nahharris / vaca
  An interpreted array programming language
  ☆16Updated last year