Alternatives and similar repositories for Bleach:

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

• pronesto / DCC888
  ☆22Updated 5 months ago
• kjosib / sophie
  A call-by-need statically-duck-typed language named for French mathematician Sophie Germain
  ☆31Updated last week
• lac-dcc / wyvern
  Automatic conversion of call by value into call by need in the LLVM IR.
  ☆57Updated last year
• jacobstanley / ssa-anf
  SSA vs ANF
  ☆42Updated 9 years ago
• polarity-lang / polarity
  A Language with Dependent Data and Codata Types
  ☆77Updated this week
• been-jamming / CORE
  A constructive proof assistant for second order logic.
  ☆32Updated 3 months ago
• AndrasKovacs / cctt
  high-performance cubical evaluation
  ☆69Updated last month
• SebastianMestre / Jasper
  A programming language. Static types. Full type inference. Garbage collection. --- not stable
  ☆59Updated 6 months ago
• siko-lang / siko
  siko
  ☆14Updated last year
• cvc5 / ethos
  A Flexible and Efficient Proof Checker for SMT Solvers
  ☆18Updated this week
• hkust-taco / mlstruct
  Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
  ☆36Updated last month
• Superstar64 / aith
  [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…
  ☆63Updated 11 months ago
• nlsandler / c-compiler-implementations
  Reader Implementations of "Writing a C Compiler"
  ☆9Updated last month
• cu1ch3n / type-inference-zoo
  🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/
  ☆18Updated last week
• vrjuliao / sml-vscode-extension
  VSCode plugin for Standard ML
  ☆38Updated 10 months ago
• IanBriggs / megalibm
  ☆16Updated last year
• caius-iulius / spinnaker
  ☆27Updated last year
• glyh / awesome-pl-concepts
  An menu/quick reference for Programming Language concepts
  ☆20Updated 9 months ago
• coq-community / graph-theory
  Graph Theory [maintainers=@chdoc,@damien-pous]
  ☆34Updated last month
• dunhamsteve / newt
  A toy dependent typed language.
  ☆24Updated this week
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆56Updated 2 years ago
• UberPyro / prowl
  WIP stack language that uses regex for control flow
  ☆42Updated last year
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆64Updated last month
• CertiCoq / certicoq
  A Verified Compiler for Gallina, Written in Gallina
  ☆140Updated 2 weeks ago
• domdomegg / hindley-milner-typescript-minimal
  Extra minimal TypeScript implementation of Hindley-Milner type inference
  ☆28Updated 4 months ago
• egel-lang / egel
  The Egel Programming Language
  ☆84Updated 3 weeks ago
• coq-community / hydra-battles
  Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintaine…
  ☆69Updated 11 months ago
• ocaml-flambda / flambda-backend
  The Flambda backend project for OCaml
  ☆121Updated this week
• scribe-lang / scribe
  Scribe Reference Compiler
  ☆22Updated 3 weeks ago
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆54Updated 3 years ago