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
• lemmy / lets-prove-blocking-queue
  Proving a blocking queue deadlock free in a dozen different ways
  ☆43Updated 4 months ago
• clintonmead / haskell_bits
  ☆54Updated 5 years ago
• julesjacobs / cgraphs
  Deadlock freedom by type checking
  ☆19Updated last year
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• metaborg / spoofax-intellij
  ☆11Updated 7 months ago
• ferrite-rs / ferrite
  Session Type EDSL for Rust
  ☆103Updated 2 years ago
• tlaplus / tlapm_alternative_parser_experiment
  The rewrite of TLAPM, the TLAPS proof manager
  Updated 5 years ago
• bpowers / liquid-types
  Logically Qualified Data Types - automatically infer refinement types
  ☆15Updated 3 years ago
• wenkokke / sesh
  A library for deadlock-free session-typed communication in Rust.
  ☆46Updated 4 years ago
• Avi-D-coder / sundial-gc-design
  type safe, concurrent, pauseless, copying, generational GC. Implementation https://github.com/Avi-D-coder/sundial-gc
  ☆30Updated 4 years ago
• xnning / Row-and-Bounded-via-Disjoint
  Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.
  ☆13Updated 4 years ago
• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆32Updated 2 years ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• hubris-lang / hubris
  A dependently typed programming language, and verification tool
  ☆26Updated 8 years ago
• jatcwang / immix-rust
  mirror: GC implementation in Rust: http://ts.data61.csiro.au/publications/nictaabstracts/Lin_BHN_16.abstract.pml
  ☆36Updated 8 years ago
• ndmitchell / rattle
  Forward build system with speculation and caching
  ☆102Updated last year
• ezrakilty / narc
  Nested Relational Calculus embedded in Haskell
  ☆16Updated 12 years ago
• nikhilm / ninja-rs
  An educational implementation of the ninja build system, based on ideas from the Build Systems a la Carte paper.
  ☆57Updated 4 years ago
• fan-tom / liquid-rust
  Liquid Types implementation for Rust
  ☆29Updated 2 years ago
• pythonesque / dependent_traits
  A dependent type system built entirely in Rust's trait system (WIP).
  ☆25Updated 6 years ago
• google / cabal2bazel
  Haskell Bazel rules and cabal2bazel import tool.
  ☆42Updated 3 years ago
• travisbrown / orcrs
  An ORC reader for Rust
  ☆12Updated 2 years ago
• micahcantor / comp-to-assembly-from-scratch-hs
  A toy JS to ARM assembly compiler, in Haskell
  ☆16Updated 2 years ago
• OCamlPro / mikino_bin
  A simple induction and BMC engine.
  ☆23Updated 2 years 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
• jkoppel / ecta
  ☆34Updated 11 months ago
• madgen / exalog
  Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support
  ☆16Updated 4 years ago