Alternatives and similar repositories for Bleach:

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

• lac-dcc / wyvern
  Automatic conversion of call by value into call by need in the LLVM IR.
  ☆58Updated last year
• pronesto / DCC888
  ☆22Updated 6 months ago
• duo-lang / duo-lang
  Duo - A research language exploring duality in programming language design
  ☆57Updated last year
• kjosib / sophie
  A call-by-need statically-duck-typed language named for French mathematician Sophie Germain
  ☆31Updated last month
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆60Updated 3 years ago
• dunhamsteve / newt
  A toy dependent typed language.
  ☆28Updated this week
• Buroni / automata-golf
  A domain-specific language (DSL) for parsing regular, context-free and recursively enumerable languages.
  ☆15Updated last year
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆58Updated this week
• siko-lang / siko_old
  siko
  ☆14Updated last year
• proglangdesign / wiki
  The programming language design wiki.
  ☆24Updated 10 months ago
• polarity-lang / polarity
  A Language with Dependent Data and Codata Types
  ☆80Updated this week
• swtwsk / vinci-lang
  A proof-of-concept compiler targeting SPIR-V for a toy ML functional shading language
  ☆15Updated 3 years ago
• khasm-lang / khasmc
  A functional programming language, mirroring Erlang and Go, but with more OCaml!
  ☆23Updated 3 weeks ago
• HarrisonGrodin / ATPL24
  Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)
  ☆17Updated 6 months ago
• OJarrisonn / vaca
  An interpreted array programming language
  ☆16Updated 2 months ago
• mateeeeeee / Ola
  Toy programming language
  ☆47Updated last week
• been-jamming / CORE
  A constructive proof assistant for second order logic.
  ☆33Updated 4 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
  ☆27Updated last year
• UberPyro / prowl
  WIP stack language that uses regex for control flow
  ☆42Updated last year
• morphic-lang / morphic
  Pure functional programming with whole-program mutability inference
  ☆64Updated last month
• andrew-johnson-4 / LSTS
  Large Scale Type Systems (programming language)
  ☆118Updated last month
• nlsandler / c-compiler-implementations
  Reader Implementations of "Writing a C Compiler"
  ☆12Updated last week
• lac-dcc / sepe
  Synthesis of Optimized Hash Functions
  ☆51Updated 2 months ago
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆66Updated this week
• jacobstanley / ssa-anf
  SSA vs ANF
  ☆42Updated 9 years ago
• mukul-rathi / bolt-dissertation
  This repository accompanies Bolt - includes the accompanying dissertation.
  ☆41Updated 4 years ago
• 418e / Tron
  Statically typed general purpose programming language
  Updated 10 months ago