Alternatives and similar repositories for distillation

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

• shwestrick / mpl-1brc
  Solving the 1 Billion Row Challenge in MPL
  ☆17Updated last year
• wenyuzhao / mmtk-core
  Memory Management ToolKit
  ☆35Updated 2 weeks ago
• metaborg / spoofax-intellij
  ☆11Updated last month
• nilehmann / liquid-rust
  ☆37Updated 3 years ago
• pasa / asdl-rs
  ☆10Updated 5 years ago
• ferrite-rs / ferrite
  Session Type EDSL for Rust
  ☆103Updated 2 years ago
• RobertHarper / nsml
  SML The Living Language
  ☆11Updated 11 years ago
• julesjacobs / cgraphs
  Deadlock freedom by type checking
  ☆20Updated 2 years ago
• bmeurer / ocamljit2
  Just-In-Time compiler for the OCaml byte-code runtime.
  ☆33Updated 13 years ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• xnning / Row-and-Bounded-via-Disjoint
  Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.
  ☆13Updated 5 years ago
• dettrace / dettrace
  A determinizing tracer using Ptrace
  ☆37Updated 4 years ago
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆56Updated 2 years ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• FStarLang / steel
  The Steel separation logic library for F*
  ☆35Updated 3 weeks ago
• bpowers / liquid-types
  Logically Qualified Data Types - automatically infer refinement types
  ☆15Updated 3 years ago
• mmtk / mmtk-openjdk
  OpenJDK binding for MMTk
  ☆34Updated 3 weeks ago
• koka-lang / libmprompt
  Robust multi-prompt delimited control and effect handlers in C/C++
  ☆119Updated last year
• herbie-fp / regraph
  Racket Equivalence Graph Library
  ☆19Updated 3 years ago
• wenkokke / sesh
  A library for deadlock-free session-typed communication in Rust.
  ☆46Updated 4 years ago
• dbp / howtoproveacompiler
  Writeup that goes along with this:
  ☆40Updated 7 years ago
• lemmy / lets-prove-blocking-queue
  Proving a blocking queue deadlock free in a dozen different ways
  ☆42Updated 7 months ago
• micahcantor / comp-to-assembly-from-scratch-hs
  A toy JS to ARM assembly compiler, in Haskell
  ☆16Updated 3 years ago
• harp-lab / vflog
  vertical + gpu + free join + datalog
  ☆20Updated 3 months ago
• protz / mezzo
  The language of the future!
  ☆72Updated last year
• SchrodingerZhu / rura
  RUst way for Reuse Analysis
  ☆11Updated last year
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆23Updated 5 months ago
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆20Updated 2 years ago
• tlaplus / tlapm_alternative_parser_experiment
  The rewrite of TLAPM, the TLAPS proof manager
  ☆1Updated 5 years ago