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
  ☆33Updated last month
• nilehmann / liquid-rust
  ☆37Updated 3 years ago
• metaborg / spoofax-intellij
  ☆11Updated 7 months ago
• wenkokke / sesh
  A library for deadlock-free session-typed communication in Rust.
  ☆46Updated 4 years ago
• ndmitchell / rattle
  Forward build system with speculation and caching
  ☆102Updated last year
• nomeata / haskell-rec-def
  APIs for more recursive definitions
  ☆19Updated 4 months ago
• aatxe / oxide
  The essence of Rust.
  ☆123Updated 3 years ago
• ferrite-rs / ferrite
  Session Type EDSL for Rust
  ☆103Updated 2 years ago
• tchajed / iris-simp-lang
  We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation …
  ☆50Updated 3 weeks ago
• lemmy / lets-prove-blocking-queue
  Proving a blocking queue deadlock free in a dozen different ways
  ☆43Updated 4 months ago
• julesjacobs / cgraphs
  Deadlock freedom by type checking
  ☆19Updated last year
• protz / mezzo
  The language of the future!
  ☆72Updated last year
• google / cabal2bazel
  Haskell Bazel rules and cabal2bazel import tool.
  ☆42Updated 3 years ago
• xnning / Row-and-Bounded-via-Disjoint
  Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.
  ☆13Updated 4 years ago
• bpowers / liquid-types
  Logically Qualified Data Types - automatically infer refinement types
  ☆15Updated 3 years ago
• madgen / exalog
  Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support
  ☆16Updated 4 years ago
• jkoppel / ecta
  ☆34Updated 11 months ago
• fan-tom / liquid-rust
  Liquid Types implementation for Rust
  ☆29Updated 2 years ago
• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆32Updated 2 years ago
• hubris-lang / hubris
  A dependently typed programming language, and verification tool
  ☆26Updated 8 years ago
• micahcantor / comp-to-assembly-from-scratch-hs
  A toy JS to ARM assembly compiler, in Haskell
  ☆16Updated 2 years ago
• dbp / howtoproveacompiler
  Writeup that goes along with this:
  ☆40Updated 7 years ago
• jfaure / lfvm-stg
  Map lazy functional language constructs to LLVM IR
  ☆50Updated 5 years ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• TiarkRompf / reachability
  ☆46Updated 3 weeks ago
• LPTK / simpler-sub
  Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…
  ☆26Updated 2 years ago
• re-xyr / avail
  Low-overhead effect management for concrete monads
  ☆37Updated 2 years ago
• fluffynukeit / scbt
  Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019
  ☆11Updated 5 years ago