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
  ☆81Updated this week
• nlsandler / c-compiler-implementations
  Reader Implementations of "Writing a C Compiler"
  ☆36Updated last month
• kjosib / sophie
  A call-by-need statically-duck-typed language named for French mathematician Sophie Germain
  ☆33Updated last year
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆306Updated this week
• rajeevradnair / wabbit_dbeazley
  Compiler project for Dave Beazley' Wabbit Language
  ☆27Updated 3 years ago
• caius-iulius / spinnaker
  ☆26Updated 2 years ago
• Superstar64 / aith
  [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…
  ☆76Updated last year
• been-jamming / CORE
  A constructive proof assistant for second order logic.
  ☆36Updated last year
• khasm-lang / khasmc
  A functional programming language, mirroring Erlang and Go, but with more OCaml!
  ☆30Updated last week
• Storyyeller / cubiml-demo
  A simple ML-like programming language with subtyping and full type inference.
  ☆187Updated last year
• RyanBrewer317 / cricket_rs
  A tiny lazy objective functional language
  ☆19Updated last year
• siko-lang / siko_old
  siko
  ☆14Updated 2 years ago
• Lambda-Mountain-Compiler-Backend / LSTS
  Large Scale Type Systems: ML/C Hybrid Programming Language
  ☆125Updated 5 months ago
• egel-lang / egel
  The Egel Programming Language
  ☆83Updated 2 weeks ago
• Hans-Halverson / myte
  Compiler and tooling for the Myte programming language.
  ☆28Updated 2 years ago
• proglangdesign / proglangdesign.github.io
  A website for the #proglangdesign community on freenode
  ☆112Updated 2 months ago
• polarity-lang / polarity
  A language with dependent data and codata types
  ☆125Updated 3 weeks ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆66Updated last month
• mukul-rathi / bolt-dissertation
  This repository accompanies Bolt - includes the accompanying dissertation.
  ☆41Updated 5 years ago
• Ahnfelt / firefly-boot
  Bootstrap compiler for Firefly
  ☆56Updated last month
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆77Updated 3 years ago
• noti0na1 / socc
  Simple C Compiler in OCaml
  ☆95Updated 7 years ago
• fir-lang / fir
  Fir programming language
  ☆90Updated last week
• gavr123456789 / Niva
  Smalltalk like programming language
  ☆67Updated last week
• hkust-taco / mlscript
  The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…
  ☆213Updated last week
• thunderseethe / making-a-language
  Full Source Code for Making a Language series
  ☆62Updated 2 weeks ago
• fsantanna-no / dceu
  ☆29Updated 4 months ago
• morphic-lang / morphic
  Pure functional programming with whole-program mutability inference
  ☆79Updated 3 weeks ago
• swtwsk / vinci-lang
  A proof-of-concept compiler targeting SPIR-V for a toy ML functional shading language
  ☆15Updated 4 years ago
• pronesto / DCC888
  ☆27Updated 7 months ago