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
• metaborg / spoofax-intellij
  ☆11Updated 7 months ago
• wenyuzhao / mmtk-core
  Memory Management ToolKit
  ☆33Updated last month
• ferrite-rs / ferrite
  Session Type EDSL for Rust
  ☆103Updated 2 years ago
• nilehmann / liquid-rust
  ☆37Updated 3 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
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• pasa / asdl-rs
  ☆10Updated 5 years ago
• bpowers / liquid-types
  Logically Qualified Data Types - automatically infer refinement types
  ☆15Updated 3 years ago
• protz / mezzo
  The language of the future!
  ☆72Updated last year
• FStarLang / steel
  The Steel separation logic library for F*
  ☆33Updated last week
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• fan-tom / liquid-rust
  Liquid Types implementation for Rust
  ☆29Updated 2 years ago
• TiarkRompf / rrbtrees
  RRB-Trees: Efficient Immutable Vectors
  ☆50Updated 12 years ago
• RedlineResearch / floorplan
  Spatial layout specifications for memory management systems.
  ☆19Updated 4 years ago
• xnning / Consistent-Subtyping-for-All
  Haskell implementation and Coq proof for an implicit polymorphic gradual type system.
  ☆16Updated 4 years ago
• wenkokke / sesh
  A library for deadlock-free session-typed communication in Rust.
  ☆46Updated 4 years ago
• hkust-taco / mlstruct
  Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
  ☆37Updated 3 months ago
• bodil / palmtree
  Don't look, I'm just playing with a B+-tree implementation which may or may not turn into a PALM tree.
  ☆26Updated 4 years ago
• AshleyYakeley / Truth
  Changes and Pinafore projects. Pull requests not accepted.
  ☆33Updated last week
• google / cabal2bazel
  Haskell Bazel rules and cabal2bazel import tool.
  ☆42Updated 3 years ago
• jkoppel / ecta
  ☆34Updated 11 months ago
• ndmitchell / rattle
  Forward build system with speculation and caching
  ☆102Updated last year
• clintonmead / haskell_bits
  ☆54Updated 5 years ago
• pythonesque / dependent_traits
  A dependent type system built entirely in Rust's trait system (WIP).
  ☆25Updated 6 years ago
• madgen / exalog
  Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support
  ☆16Updated 4 years ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆34Updated 3 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